2 require("login-config.php");
3 function get_directory($path){
4 $base = explode("\n", shell_exec("ls $path"));
6 echo json_encode($base);
8 function check_worldname($name){
9 return preg_match("/^[a-zA-Z0-9]+$/", $name);
11 function world_exists($name){
12 return check_worldname($name) && file_exists("worlds/" . $name);
14 switch($_POST["call"]){
16 get_directory("game");
19 get_directory("mods");
22 get_directory("worlds");
25 get_directory("textures/* game/*/textures/* mods/*/textures/*");
28 get_directory("sounds/* game/*/sounds/* mods/*/sounds/*");
31 echo json_encode(is_loggedin());
36 case "checkWorldname":
37 echo json_encode(check_worldname($_POST["name"]) || false);
44 if(! check_worldname($_POST["name"]))
46 if(! world_exists($_POST["name"]))
47 mkdir("worlds/" . $_POST["name"]);
48 else if(file_get_contents("worlds/" . $_POST["name"] . "/owner.txt") != get_username())
50 file_put_contents("worlds/" . $_POST["name"] . "/world.json", $_POST["world"]);
51 file_put_contents("worlds/" . $_POST["name"] . "/owner.txt", get_username());
54 echo shell_exec("git rev-parse --short HEAD");