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