diff --git a/src/Emulator/Main/Core/EmulationManager.cs b/src/Emulator/Main/Core/EmulationManager.cs index 01a85571a..2d6c970ae 100644 --- a/src/Emulator/Main/Core/EmulationManager.cs +++ b/src/Emulator/Main/Core/EmulationManager.cs @@ -33,6 +33,19 @@ static EmulationManager() ExternalWorld = new ExternalWorldTimeDomain(); PreservableManager = new PreservableManager(); + private EmulationManager() + { + var serializerMode = ConfigurationManager.Instance.Get("general", "serialization-mode", Antmicro.Migrant.Customization.Method.Generated); + + var settings = new Antmicro.Migrant.Customization.Settings(serializerMode, serializerMode, + Antmicro.Migrant.Customization.VersionToleranceLevel.AllowGuidChange, disableTypeStamping: false); + serializer = new Serializer(settings); + serializer.ForObject().SetSurrogate(x => new PythonDictionarySurrogate(x)); + serializer.ForSurrogate().SetObject(x => x.Restore()); + currentEmulation = new Emulation(); + ProgressMonitor = new ProgressMonitor(); + stopwatch = new Stopwatch(); + currentEmulationLock = new object(); RebuildInstance(); }