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