ProcessManager-01-11-04

Giuseppe Avolio

@avolio

163ea01e · Not changing err/out file permissions (nor deleting) if not regular file · Mar 08, 2019

Fixed problem with err/out files being /dev/null