Tools.sh should now successfully be ported to server. Also, fixed some whitespace in process.php