- Save exception info also in the log file (it was just sent to the client)
- Fix an old issue with DeactivateWorker("*") (the session is was terminated because
no worker was active; this call coudl not be used as intermediate step to select a
small number of workers).
|