> On Nov 11, 2015, at 9:43 PM, Thomas G Lockhart <[email protected]> > wrote: > > btw, I’m seeing sumo-gui taking 100% cpu when paused. Did it used to do that?
Never mind. Seems to have been a shutdown problem and is not repeatable. - Tom ------------------------------------------------------------------------------ _______________________________________________ sumo-user mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/sumo-user
