2013-09-07 [620]
============
(#!) there was a bug in the script creation causing the PID files not to be used. no. it wasnt fixed. BASH still illudes me. But its working now. NO !!! it wasnt. Further investigations were necessary. Hopefully it works now.