Wed, 09 Mar 2016 13:33:21 +0100 | wenzelm | support for timing of the managed process; | file | diff | annotate |
Sat, 13 Feb 2016 22:52:41 +0100 | wenzelm | actually wait for forked process and return its status -- this is not meant to be a daemon; | file | diff | annotate |
Sat, 13 Feb 2016 17:27:23 +0100 | wenzelm | clarified name; | file | diff | annotate | base |