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