Add script to remove project directory from /proj when a project is
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.
Showing with 132 additions and 1 deletion