-
Leigh B. Stoller authored
killed. Okay, so I do not really remove it since its a bad idea to be so destructive. Instead I rename $pid to $pid-`date+20%y%m%d-%H.%M.%S` which we can remove by hand as needed.
860f55b4
killed. Okay, so I do not really remove it since its a bad idea to be so destructive. Instead I rename $pid to $pid-`date+20%y%m%d-%H.%M.%S` which we can remove by hand as needed.