5824: Fix Keep server shutdown, check errors, simplify stderr redirection.
authorTom Clegg <tom@curoverse.com>
Sat, 7 Nov 2015 08:54:03 +0000 (03:54 -0500)
committerTom Clegg <tom@curoverse.com>
Sun, 8 Nov 2015 20:16:04 +0000 (15:16 -0500)
(Oops, we forgot to actually Run() the python command for stop_keep.)


No differences found