UB-Mannheim / PalMA

DBConnector.class.php

Indentation +1 added lines, -1 removed lines

@@ -387,7 +387,7 @@
     // {AFTER | BEFORE} {DELETE | INSERT | UPDATE } ON table
     //~ $db->exec("CREATE TRIGGER dbchange AFTER UPDATE ON user
                 //~ BEGIN
-                  //~ dbModifiedCallback();
+                    //~ dbModifiedCallback();
                 //~ END");
     //~ $db = new DBConnector('palma.db');
     echo "Tables=" . $db->querySingle('SELECT count(*) FROM sqlite_master WHERE type="table"') . "\n";

selectplace/learningcenter.php

Indentation +12 added lines, -12 removed lines

@@ -60,25 +60,25 @@
 </div>
 
 <?php
-     session_start();
-     session_destroy();
+        session_start();
+        session_destroy();
 
-  # TODO: User sessions should be authorized to one display only.
-  # If they select this page, they must not be allowed to select
-  # a new display without being logged out.
+    # TODO: User sessions should be authorized to one display only.
+    # If they select this page, they must not be allowed to select
+    # a new display without being logged out.
 
-  # Show authorized user name and allow logout.
-  $username = false;
-  if (isset($_SESSION['username'])) {
+    # Show authorized user name and allow logout.
+    $username = false;
+    if (isset($_SESSION['username'])) {
     # PHP session based authorization.
     $username = $_SESSION['username'];
-  } elseif (isset($_SERVER["PHP_AUTH_USER"])) {
+    } elseif (isset($_SERVER["PHP_AUTH_USER"])) {
     # .htaccess basic authorization.
     $username = $_SERVER["PHP_AUTH_USER"];
-  }
-  if ($username) {
+    }
+    if ($username) {
     echo("<p>$username <a href=\"logout.php\">abmelden</a></p>");
-  }
+    }
 ?>
 
 </body>

control.php

Indentation +2 added lines, -2 removed lines

@@ -348,7 +348,7 @@ 
 
             // trying mousemove and click for better vnc control
             displayCommand("xdotool mousemove --window $windowhex 100 100 " .
-                       "key $key");
+                        "key $key");
         }
 
         if ($windowname && array_key_exists('keydown', $_REQUEST)) {
@@ -363,7 +363,7 @@ 
 
             // trying mousemove and click for better vnc control
             displayCommand("xdotool mousemove --window $windowhex 100 100 " .
-                       "key $key");
+                        "key $key");
             //~ displayCommand("xdotool windowfocus $windowhex keydown $key");
         }
 

download.php

Indentation +1 added lines, -1 removed lines

@@ -23,7 +23,7 @@
     // file exists: return file for download
     header('Content-Type: application/octet-stream');
     header('Content-Disposition: attachment; filename="' .
-           addslashes($filename) . '"');
+            addslashes($filename) . '"');
     readfile($filepath);
 } else {
     // file does not exist: 404 Not Found

login.php

Indentation +10 added lines, -10 removed lines

@@ -47,7 +47,7 @@ 
         return $device;
     }
 
-  function checkCredentials($username, $password) {
+    function checkCredentials($username, $password) {
     // Check username + password against fixed internal value and
     // external proxy with authentisation.
 
@@ -104,7 +104,7 @@ 
         $errtext = _('Invalid credentials!');
     }
     return false;
-  }
+    }
 
     $username = '';
     $pin = '';
@@ -113,7 +113,7 @@ 
         $posted_pin = $_REQUEST['pin'];
     }
 
-  if ($_SERVER['REQUEST_METHOD'] == 'POST') {
+    if ($_SERVER['REQUEST_METHOD'] == 'POST') {
     session_start();
     $username = escapeshellcmd($_POST['username']);
     $password = '';
@@ -141,20 +141,20 @@ 
         $_SESSION['monitor'] = CONFIG_STATIONNAME;
         $dbcon->addUser($username, $dbcon->ipAddress(), getDevice());
 
-       // Weiterleitung zur geschützten Startseite
-       if ($_SERVER['SERVER_PROTOCOL'] == 'HTTP/1.1') {
+        // Weiterleitung zur geschützten Startseite
+        if ($_SERVER['SERVER_PROTOCOL'] == 'HTTP/1.1') {
         if (php_sapi_name() == 'cgi') {
-         header('Status: 303 See Other');
-         }
+            header('Status: 303 See Other');
+            }
         else {
-         header('HTTP/1.1 303 See Other');
-         }
+            header('HTTP/1.1 303 See Other');
+            }
         }
 
         header('Location: ' . CONFIG_START_URL);
         exit;
     }
-  }
+    }
 ?>
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
        "http://www.w3.org/TR/html4/strict.dtd">

upload.php

Indentation +9 added lines, -9 removed lines

@@ -81,17 +81,17 @@
     $targetFile = "file:///$targetFile";
 }
 
-  // Get information of application for uploaded file.
-  require_once ('FileHandler.class.php');
-  list ($returnedHandler, $returnedTargetFile) = FileHandler::getFileHandler($targetFile);
-  $handler = $returnedHandler;
-  $targetFile = $returnedTargetFile;
-  trace("file is now $targetFile, its handler is $handler");
+    // Get information of application for uploaded file.
+    require_once ('FileHandler.class.php');
+    list ($returnedHandler, $returnedTargetFile) = FileHandler::getFileHandler($targetFile);
+    $handler = $returnedHandler;
+    $targetFile = $returnedTargetFile;
+    trace("file is now $targetFile, its handler is $handler");
 
-  // create window object and send to nuc
+    // create window object and send to nuc
 
-  $dt = new DateTime();
-  $date = $dt->format('Y-m-d H:i:s');
+    $dt = new DateTime();
+    $date = $dt->format('Y-m-d H:i:s');
 
     $window = array(
         "id" => "",

index.php

Indentation +3 added lines, -3 removed lines

@@ -1389,12 +1389,12 @@
 
 <div id="footer">
     <?php
-      # Show authorized user name (and address) and allow logout.
-      if ($user) {
+        # Show authorized user name (and address) and allow logout.
+        if ($user) {
         echo("<a href=\"logout.php\" title=\"" .
             __('Disconnect the current user') .
             "\">" . __('Log out') . "<i class=\"fa fa-sign-out\"></i></a>");
-      }
+        }
     ?>
 </div> <!-- Footer -->
 

db.php

Indentation +1 added lines, -1 removed lines

@@ -17,7 +17,7 @@
 $newJSON = '{}';
 $oldJSON = '';
 
- if (!empty($_REQUEST['json'])) {
+    if (!empty($_REQUEST['json'])) {
     $oldJSON = $_REQUEST['json'];
     $oldJSONarr = json_decode($oldJSON, true);
     array_walk_recursive($oldJSONarr, function(&$value, $key) {

FileHandler.class.php

Indentation +3 added lines, -3 removed lines

@@ -62,9 +62,9 @@
     public function getControls()
     {
         return FileHandler::CURSOR | FileHandler::ZOOM |
-               FileHandler::HOME | FileHandler::END |
-               FileHandler::PRIOR | FileHandler::NEXT |
-               FileHandler::DOWNLOAD;
+                FileHandler::HOME | FileHandler::END |
+                FileHandler::PRIOR | FileHandler::NEXT |
+                FileHandler::DOWNLOAD;
     }
     public function show($path)
     {