function createNewUser($user, $pw) { if (!doesUserDirectoryExist($user)) { $FTPdir = "FTP_drop/" . $user; mkdir($FTPdir); chmod($FTPdir, 0777); $dir = "users/" . $user; mkdir($dir); chmod($dir, 0777); mkdir($dir . "/projects/"); // initialize user projects dir. mkdir($dir . "/genomes/"); // initialize user genomes dir. chmod($dir . "/projects/", 0777); chmod($dir . "/genomes/", 0777); writePassword($user, $pw); $_SESSION['logged_on'] = 1; $_SESSION['user'] = $user; echo "<font color=\"green\"><b>SUCCESS: User account created.</b></font><br>"; echo "(Main page will reload shortly...)\n"; echo "<script type=\"text/javascript\">\nreload_page=function() {\n\tlocation.replace(\"panel.user.php\");\n}\n"; echo "var intervalID = window.setInterval(reload_page, 1000);\n</script>\n"; return false; } else { // The user directory already exists! echo "<font color=\"red\"><b>ERROR: Invalid user name, try another.</b></font><br>"; echo "(Main page will reload shortly...)\n"; echo "<script type=\"text/javascript\">\nreload_page=function() {\n\tlocation.replace(\"user.register.php\");\n}\n"; echo "var intervalID = window.setInterval(reload_page, 1000);\n</script>\n"; return false; } }
function validateLogin($user, $pw) { global $currentPath; if (doesUserDirectoryExist($user)) { // User Exists $userDir = "users/" . $user . "/"; $pwFile = "users/" . $user . "/pw.txt"; if (file_exists($userDir)) { if (file_get_contents($pwFile) === $pw) { $_SESSION['logged_on'] = 1; $_SESSION['user'] = $user; echo "<font color=\"green\"><b>SUCCESS: User is now logged in.</b></font><br>\n"; echo "(Main page will reload shortly...)<br>\n"; echo "<script type=\"text/javascript\">\nreload_page=function() {\n\tlocation.replace(\"panel.user.php\");\n}\n"; echo "var intervalID = window.setInterval(reload_page, 1000);\n</script>\n"; } else { echo "<font color=\"red\"><b>ERROR: Input did not match a registed username & password combination.</b></font><br>\n"; echo "(Main page will reload shortly...)<br>\n"; echo "<script type=\"text/javascript\">\nreload_page=function() {\n\tlocation.replace(\"panel.user.php\");\n}\n"; echo "var intervalID = window.setInterval(reload_page, 1000);\n</script>\n"; } } else { echo "<font color=\"red\"><b>ERROR: Input did not match a registed username & password combination.</b></font><br>\n"; echo "(Main page will reload shortly...)<br>\n"; echo "<script type=\"text/javascript\">\nreload_page=function() {\n\tlocation.replace(\"panel.user.php\");\n}\n"; echo "var intervalID = window.setInterval(reload_page, 1000);\n</script>\n"; } } else { //User doesn't exist echo "<font color=\"red\"><b>ERROR: Input did not match a registered username & password combination.</b></font><br>\n"; echo "(Main page will reload shortly...)<br>\n"; echo "<script type=\"text/javascript\">\nreload_page=function() {\n\tlocation.replace(\"panel.user.php\");\n}\n"; echo "var intervalID = window.setInterval(reload_page, 1000);\n</script>\n"; } }
function createNewUser($user, $pw) { global $url; if (!doesUserDirectoryExist($user)) { $dir = $GLOBALS['directory'] . "users/" . $user; mkdir($dir); mkdir($dir . "/projects/"); // initialize user projects dir. mkdir($dir . "/genomes/"); // initialize user genomes dir. chmod($dir, 0777); chmod($dir . "/projects/", 0777); chmod($dir . "/genomes/", 0777); writePassword($user, $pw); echo "<font color=\"green\"><b>SUCCESS: User account created.</b></font><br>"; echo "(Main page will reload shortly...)\n"; echo "<script type=\"text/javascript\">\nreload_page=function() {\n\tlocation.replace(\"{$url}\");\n}\n"; echo "var intervalID = window.setInterval(reload_page, 5000);\n</script>\n"; } else { // The user directory already exists! echo "<font color=\"red\"><b>ERROR: User already exists.</b></font><br>"; echo "(Main page will reload shortly...)\n"; echo "<script type=\"text/javascript\">\nreload_page=function() {\n\tlocation.replace(\"{$url}\");\n}\n"; echo "var intervalID = window.setInterval(reload_page, 5000);\n</script>\n"; return false; } }
function validateLogin($user, $pw) { global $url; if (doesUserDirectoryExist($user)) { // User Exists $pwFile = $GLOBALS['directory'] . "users/" . $user . "/pw.txt"; if (file_get_contents($pwFile) === $pw) { $_SESSION['logged_on'] = 1; $_SESSION['user'] = $user; header('Location: ' . $GLOBALS['url']); } else { echo "<font color=\"red\"><b>ERROR: Input did not match a registed username & password combination.</b></font><br>"; echo "(Main page will reload shortly...)\n"; echo "<script type=\"text/javascript\">\nreload_page=function() {\n\tlocation.replace(\"{$url}\");\n}\n"; echo "var intervalID = window.setInterval(reload_page, 5000);\n</script>\n"; } } else { //User doesn't exist echo "<font color=\"red\"><b>ERROR: Input did not match a registered username & password combination.</b></font><br>"; echo "(Main page will reload shortly...)\n"; echo "<script type=\"text/javascript\">\nreload_page=function() {\n\tlocation.replace(\"{$url}\");\n}\n"; echo "var intervalID = window.setInterval(reload_page, 5000);\n</script>\n"; } }