]> matita.cs.unibo.it Git - logicplayer.git/commitdiff
Development files dropped.
authorwww-data <www-data@lahar.helm.cs.unibo.it>
Tue, 2 Dec 2014 10:41:49 +0000 (11:41 +0100)
committerwww-data <www-data@lahar.helm.cs.unibo.it>
Tue, 2 Dec 2014 10:41:49 +0000 (11:41 +0100)
public_html/index.html~ [deleted file]
public_html/login.js~ [deleted file]
public_html/login.php~ [deleted file]
public_html/prova.html~ [deleted file]
public_html/prova.pho~ [deleted file]
public_html/prova.php~ [deleted file]
public_html/prova.txt~ [deleted file]
public_html/upload.php~ [deleted file]

diff --git a/public_html/index.html~ b/public_html/index.html~
deleted file mode 100755 (executable)
index e566e53..0000000
+++ /dev/null
@@ -1,17 +0,0 @@
-<!DOCTYPE html>
-<html>
-    <head>
-        <meta charset="utf-8"/>
-        <link rel="stylesheet" type="text/css" media="all" href="./login.css"/>
-        <script src="http://ajax.googleapis.com/ajax/libs/jquery/1.10.2/jquery.min.js"></script>
-        <script type="text/javascript" src="login.js"></script>
-    </head>
-    <body>
-        <h1>Benvenuto nella pagina di amministazione</h1>
-        <form id="login">
-            <input type="text" id="username" class="form-control" placeholder="Username">
-            <input type="password" id="password" class="form-control" placeholder="Password">
-            <button type="button" id="loginForm" class="btn btn-success">accedi</button>
-        </form>
-    </body>
-</html>
\ No newline at end of file
diff --git a/public_html/login.js~ b/public_html/login.js~
deleted file mode 100755 (executable)
index 5866524..0000000
+++ /dev/null
@@ -1,66 +0,0 @@
-function change()
-{
-/*Quando viene chiamata, modifica il campo "location" di document*/
-/*effettuando un redirect sulla pagina main.php*/
-document.location.href="./prova.html";
-}
-
-
-
-
-function login()
-{
-       var jsonlogin=new Object();
-       jsonlogin.username=$('#username').val(); //recupero i dati di login dai rispettivi campi dell'HTML
-       jsonlogin.password=$('#password').val();
-       window.alert($('#username').val()+$('#password').val());        
-       var sendstr = JSON.stringify(jsonlogin); //creo il JSON di invio al server
-       $.ajax
-       ({
-        type: 'POST',
-        url: 'login.php',
-        async: false,
-        contentType: 'application/json; charset=utf-8',
-        dataType: 'json',
-        data: sendstr,
-        success: function(response)
-                        { //in caso di successo della richiesta viene eseguita questa funzione
-                                       if (response['result']=="login effettuato con successo")
-                                               //cioè se il server ha ritornato che l'utente è stato trovato con successo
-                               change();
-                   else
-                               $("#errlogin").fadeIn();
-                               setTimeout(function(){$("#errlogin").fadeOut()}, 2000);
-
-                       }
-    });
-}
-
-
-
-
-
-$(document).ready 
-(
-       function () 
-       {       
-               $("#errlogin").hide(); //nasconde i div di errore del login
-               //funzione che effettua login se bottone viene cliccato
-               $("#loginForm").click
-               (
-                       function()
-                       {
-                               login();
-                       }
-               );
-               //funzione che effettua login se tasto "INVIO" viene cliccato
-               $("#password").keyup(
-               function(invio)
-               {
-               if(invio.keyCode == 13) {
-               login();
-               }
-               
-       });
-       }
-);
diff --git a/public_html/login.php~ b/public_html/login.php~
deleted file mode 100755 (executable)
index 5206e97..0000000
+++ /dev/null
@@ -1,42 +0,0 @@
-<?php\r
-       session_start();                                /*Inizia una sessione*/\r
-       $data = file_get_contents('php://input'); /*file_get_contents:data una stringa, recupera i parametri di query. In questo caso viene presa la stringa inviata come dato dal JS*/\r
-       $result = json_decode($data);\r
-       $con=mysqli_connect("localhost","root","123stella","logintesi");\r
-       if ($con==false)\r
-       {\r
-               $arr=array('result'=>"errore nella connessione al database");\r
-               $ris=json_encode($arr);\r
-               echo $ris;\r
-               die;\r
-       }\r
-       else\r
-       {\r
-       $str="SELECT * FROM admin WHERE username='danilo.berardinelli' AND password='123stella';";\r
-       $exists= mysqli_query($con,$str);\r
-       if (!($exists))\r
-       {\r
-               $arr=array('result'=>"errore nella ricerca all'interno del database");\r
-               $ris=json_encode($arr);\r
-               echo $ris;\r
-               die;\r
-       }\r
-       $res=mysqli_num_rows($exists);\r
-       if ($res==1)\r
-       {\r
-               $ID=mysqli_fetch_array($exists);\r
-               $_SESSION["username"]=$result->username;\r
-               $arr = array('result'=>"login effettuato con successo");\r
-               $ris=json_encode($arr);\r
-               echo $ris;\r
-       }\r
-       else\r
-       {\r
-               $arr= array('result'=>"Utente non trovato");\r
-               $ris=json_encode($arr);\r
-               echo $ris;\r
-       }\r
-       \r
-       }\r
-       mysqli_close($con)\r
-?>\r
diff --git a/public_html/prova.html~ b/public_html/prova.html~
deleted file mode 100755 (executable)
index 0e3d827..0000000
+++ /dev/null
@@ -1,12 +0,0 @@
-<!DOCTYPE html>
-<html>
-    <head>
-    </head>
-    <body>
-        <form action="upload.php" method="post" enctype="multipart/form-data">
-               <input type="file" name="upfile">
-               <input type="hidden" name="MAX_FILE_SIZE" value="10000">
-               <input type="submit" value="Invia il file">
-       </form>
-    </body>
-</html>
diff --git a/public_html/prova.pho~ b/public_html/prova.pho~
deleted file mode 100755 (executable)
index e69de29..0000000
diff --git a/public_html/prova.php~ b/public_html/prova.php~
deleted file mode 100755 (executable)
index 0f7fcaa..0000000
+++ /dev/null
@@ -1,44 +0,0 @@
-<?php
-       $target_dir = "esercizi/";
-       $target_file = $target_dir . basename($_FILES["fileToUpload"]["name"]);
-       $uploadOk = 1;
-       $imageFileType = pathinfo($target_file,PATHINFO_EXTENSION);
-       // Check if image file is a actual image or fake image
-       /*if(isset($_POST["submit"])) {
-           $check = getimagesize($_FILES["fileToUpload"]["tmp_name"]);
-           if($check !== false) {
-               echo "File is an image - " . $check["mime"] . ".";
-               $uploadOk = 1;
-           } else {
-               echo "File is not an image.";
-               $uploadOk = 0;
-           }
-       }*/
-       // Check if file already exists
-       if (file_exists($target_file)) {
-           echo "Sorry, file already exists.";
-           $uploadOk = 0;
-       }
-       // Check file size
-       if ($_FILES["fileToUpload"]["size"] > 500000) {
-           echo "Sorry, your file is too large.";
-           $uploadOk = 0;
-       }
-       // Allow certain file formats
-       /*if($imageFileType != "jpg" && $imageFileType != "png" && $imageFileType != "jpeg"
-       && $imageFileType != "gif" ) {
-           echo "Sorry, only JPG, JPEG, PNG & GIF files are allowed.";
-           $uploadOk = 0;
-       }*/
-       // Check if $uploadOk is set to 0 by an error
-       if ($uploadOk == 0) {
-           echo "Sorry, your file was not uploaded.";
-       // if everything is ok, try to upload file
-       } else {
-           if (move_uploaded_file($_FILES["fileToUpload"]["tmp_name"], $target_file)) {
-               echo "The file ". basename( $_FILES["fileToUpload"]["name"]). " has been uploaded.";
-           } else {
-               echo "Sorry, there was an error uploading your file.";
-           }
-       }
-?>
diff --git a/public_html/prova.txt~ b/public_html/prova.txt~
deleted file mode 100755 (executable)
index e69de29..0000000
diff --git a/public_html/upload.php~ b/public_html/upload.php~
deleted file mode 100755 (executable)
index 9cf7a77..0000000
+++ /dev/null
@@ -1,33 +0,0 @@
-<?
-       // QUESTE RIGHE RENDONO LO SCRIPT COMPATIBILE CON LE VERSIONI
-       // DI PHP PRECEDENTI ALLA 4.1.0
-       if(!isset($_FILES)) $_FILES = $HTTP_POST_FILES;
-       if(!isset($_SERVER)) $_SERVER = $HTTP_SERVER_VARS;
-       /********************* VARIABILI DA SETTARE ********************/
-       // Directory dove salvare i files Uploadati ( chmod 777, percorso assoluto)
-       $upload_dir = "/home/furt/brogetto/data";
-
-       // Eventuale nuovo nome da dare al file uploadato
-       $new_name = "";
-
-       // Se $new_name è vuota, il nome sarà lo stesso del file uploadato
-       $file_name = ($new_name) ? $new_name : $_FILES["upfile"]["name"];
-
-       if(trim($_FILES["upfile"]["name"]) == "") 
-       {
-               die("Non hai indicato il file da uploadare !");
-       }
-
-       if(@is_uploaded_file($_FILES["upfile"]["tmp_name"])) {
-
-       @move_uploaded_file($_FILES["upfile"]["tmp_name"], $upload_dir."/".$file_name) 
-       or die("Impossibile spostare il file, controlla l’esistenza o i permessi della directory dove fare l’upload.");
-
-       } else {
-
-       die("Problemi nell’upload del file" . $_FILES["upfile"]["name"]);
-
-       }
-
-       echo "L’upload del file" . $_FILES["upfile"]["name"] . "è avvenuto correttamente";
-?>