Bug fixes in manager, including metering table cumulative_time_active.  Dispatcher fixes as well, to handle shutdown of server more elegantly.