Exemple #1
0
        public async void DeleteAllConfig(object param)
        {
            var result = await ExMessageBox.ShowConfirm("警告", "此操作一旦执行,不可撤销,是否继续?", "执行", "取消");

            if (result)
            {
                ConfigsList.Clear();
            }
        }
Exemple #2
0
        private void SavePluginsSettings()
        {
            try
            {
                //Medias
                var mediasConfigs = new ConfigsList();
                if (_pluginManager.Medias != null)
                {
                    mediasConfigs.AddRange(_pluginManager.Medias.Select(plugin => plugin.ExtractConfig()));
                }
                _settings["Medias"] = SerializationHelper.SerializeJson <ConfigsList>(mediasConfigs);

                //Projections
                var projectionsConfigs = new ConfigsList();
                if (_pluginManager.Projections != null)
                {
                    projectionsConfigs.AddRange(_pluginManager.Projections.Select(plugin => plugin.ExtractConfig()));
                }
                _settings["Projections"] = SerializationHelper.SerializeJson <ConfigsList>(projectionsConfigs);

                //Effects
                var effectsConfigs = new ConfigsList();
                if (_pluginManager.Effects != null)
                {
                    effectsConfigs.AddRange(_pluginManager.Effects.Select(plugin => plugin.ExtractConfig()));
                }
                _settings["Effects"] = SerializationHelper.SerializeJson <ConfigsList>(effectsConfigs);

                //Distortions
                var distortionsConfigs = new ConfigsList();
                if (_pluginManager.Distortions != null)
                {
                    distortionsConfigs.AddRange(_pluginManager.Distortions.Select(plugin => plugin.ExtractConfig()));
                }
                _settings["Distortions"] = SerializationHelper.SerializeJson <ConfigsList>(distortionsConfigs);

                //Trackers
                var trackersConfigs = new ConfigsList();
                if (_pluginManager.Trackers != null)
                {
                    trackersConfigs.AddRange(_pluginManager.Trackers.Select(plugin => plugin.ExtractConfig()));
                }
                _settings["Trackers"] = SerializationHelper.SerializeJson <ConfigsList>(trackersConfigs);

                //Stabilizers
                var stabilizersConfigs = new ConfigsList();
                if (_pluginManager.Stabilizers != null)
                {
                    stabilizersConfigs.AddRange(_pluginManager.Stabilizers.Select(plugin => plugin.ExtractConfig()));
                }
                _settings["Stabilizers"] = SerializationHelper.SerializeJson <ConfigsList>(stabilizersConfigs);
            }
            catch (Exception exc)
            {
                Logger.Instance.Error("Error while saving plugins settings.", exc);
            }
        }
 public void setConfigValue(ConfigsList cfg, Object value)
 {
     switch (cfg)
     {
         case ConfigsList.CLIENT_CHANGE_QUEUE_INTERVAL:
             Configs.CLIENT_CHANGE_QUEUE_INTERVAL = (int)value;
             break;
         case ConfigsList.FRAME_TIME:
             Configs.FRAME_TIME = (int)value;
             break;
         case ConfigsList.INITIAL_SERVICE_POINTS:
             Configs.INITIAL_SERVICE_POINTS = (int)value;
             break;
         case ConfigsList.ITEM_PROCESS_TIME:
             Configs.ITEM_PROCESS_TIME = (int)value;
             break;
         case ConfigsList.MAX_CLIENTS_PER_CASH:
             Configs.MAX_CLIENTS_PER_CASH = (int)value;
             break;
         case ConfigsList.MAX_QUEUE_SIZE:
             Configs.MAX_QUEUE_SIZE = (int)value;
             break;
         case ConfigsList.MAX_SERVICE_POINTS:
             Configs.MAX_SERVICE_POINTS = (int)value;
             break;
         case ConfigsList.MIN_SERVICE_POINTS:
             Configs.MIN_SERVICE_POINTS = (int)value;
             break;
         case ConfigsList.PAY_TIME:
             Configs.PAY_TIME = (int)value;
             break;
         case ConfigsList.SERVICE_ARRIVAL_RATE_THRESHOLD_CLOSE:
             Configs.SERVICE_ARRIVAL_RATE_THRESHOLD_CLOSE = (int)value;
             break;
         case ConfigsList.SERVICE_ARRIVAL_RATE_THRESHOLD_OPEN:
             Configs.SERVICE_ARRIVAL_RATE_THRESHOLD_OPEN = (int)value;
             break;
         case ConfigsList.SERVICE_IDLE_TIME_CLOSE:
             Configs.SERVICE_IDLE_TIME_CLOSE = (int)value;
             break;
         case ConfigsList.SERVICE_MONITOR_INTERVAL:
             Configs.SERVICE_MONITOR_INTERVAL = (int)value;
             break;
         case ConfigsList.SUPERVISOR_CHECK_INTERVAL:
             Configs.SUPERVISOR_CHECK_INTERVAL = (int)value;
             break;
         case ConfigsList.TICKS_PER_ITEM:
             Configs.TICKS_PER_ITEM = (int)value;
             break;
     }
 }
 public bool NameTaken(string name)
 {
     return(ConfigsList.Any(x => x.Name == name));
 }
        private void SavePluginsSettings()
        {
            try
            {
                //Medias
                var mediasConfigs = new ConfigsList();
                if (_pluginManager.Medias != null)
                {
                    mediasConfigs.AddRange(_pluginManager.Medias.Select(plugin => plugin.ExtractConfig()));
                }
                _settings["Medias"] = SerializationHelper.SerializeJson<ConfigsList>(mediasConfigs);

                //Projections
                var projectionsConfigs = new ConfigsList();
                if (_pluginManager.Projections != null)
                {
                    projectionsConfigs.AddRange(_pluginManager.Projections.Select(plugin => plugin.ExtractConfig()));
                }
                _settings["Projections"] = SerializationHelper.SerializeJson<ConfigsList>(projectionsConfigs);

                //Effects
                var effectsConfigs = new ConfigsList();
                if (_pluginManager.Effects != null)
                {
                    effectsConfigs.AddRange(_pluginManager.Effects.Select(plugin => plugin.ExtractConfig()));
                }
                _settings["Effects"] = SerializationHelper.SerializeJson<ConfigsList>(effectsConfigs);

                //Distortions
                var distortionsConfigs = new ConfigsList();
                if (_pluginManager.Distortions != null)
                {
                    distortionsConfigs.AddRange(_pluginManager.Distortions.Select(plugin => plugin.ExtractConfig()));
                }
                _settings["Distortions"] = SerializationHelper.SerializeJson<ConfigsList>(distortionsConfigs);

                //Trackers
                var trackersConfigs = new ConfigsList();
                if (_pluginManager.Trackers != null)
                {
                    trackersConfigs.AddRange(_pluginManager.Trackers.Select(plugin => plugin.ExtractConfig()));
                }
                _settings["Trackers"] = SerializationHelper.SerializeJson<ConfigsList>(trackersConfigs);

                //Stabilizers
                var stabilizersConfigs = new ConfigsList();
                if (_pluginManager.Stabilizers != null)
                {
                    stabilizersConfigs.AddRange(_pluginManager.Stabilizers.Select(plugin => plugin.ExtractConfig()));
                }
                _settings["Stabilizers"] = SerializationHelper.SerializeJson<ConfigsList>(stabilizersConfigs);
            }
            catch (Exception exc)
            {
                Logger.Instance.Error("Error while saving plugins settings.", exc);
            }
        }