-
Committer:
Christopher James Halse Rogers
-
Date:
2010-04-18 07:57:10 UTC
-
mfrom:
(1315.1.2 do-paralel-reload)
-
Revision ID:
raof@ubuntu.com-20100418075710-a3fl6nn7q8kt2d99
[Do.Core.UniverseManager] Merge single-threaded-univers-reload branch.
Change from Monitor.Pulse to ManualResetEvent as per merge review comments. I think this is simpler.