-
Yuya Nishihara authored
This is necessary to reload config by stopping command server. If new command session is queued while stopping server, it should receive CmdWorker.Ready in place of CmdWorker.Terminated. Otherwise, the new session would be aborted.
02c396ccc76a