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";
}
}
