Resolution server continues running if command interrupted

[trquinn]

If a computation is running in Salsa and say, ctrl-c is hit, it is necessary to
kill one of the worker threads manually, or they will stay alive indefinitely
(as far as I can tell). See if running via : 'ps -u | grep Res'.

-Eric