2016-03-09 | wenzelm | ignore SIGINT in waiting wrapper process; | file | diff | annotate |
2016-03-09 | wenzelm | elapsed time in milliseconds (cf. Time.now in Poly/ML); | file | diff | annotate |
2016-03-09 | wenzelm | support for timing of the managed process; | file | diff | annotate |
2016-02-13 | wenzelm | actually wait for forked process and return its status -- this is not meant to be a daemon; | file | diff | annotate |
2016-02-13 | wenzelm | clarified name; | file | diff | annotate | base |