UB-Mannheim / PalMA

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

upload.php

Indentation +4 added lines, -4 removed lines

@@ -111,10 +111,10 @@
 $curl = curl_init();
 // Set some options - we are passing in a useragent too here
 curl_setopt_array($curl, array(
-                      CURLOPT_RETURNTRANSFER => 1,
-                      CURLOPT_URL => CONFIG_CONTROL_FILE . '?newWindow=' . $sw,
-                      CURLOPT_USERAGENT => 'PalMA cURL Request'
-                               ));
+                        CURLOPT_RETURNTRANSFER => 1,
+                        CURLOPT_URL => CONFIG_CONTROL_FILE . '?newWindow=' . $sw,
+                        CURLOPT_USERAGENT => 'PalMA cURL Request'
+                                ));
 // Send the request & save response to $resp
 $resp = curl_exec($curl);
 // Close request to clear up some resources

control.php

Indentation +11 added lines, -11 removed lines

@@ -329,18 +329,18 @@ 
   
     require_once('FileHandler.class.php');
     list ($handler, $targetFile) =
-      palma\FileHandler::getFileHandler($inFile);
+        palma\FileHandler::getFileHandler($inFile);
     trace("file is now $targetFile, its handler is $handler");
 
     $window = array(
-      "id" => "",
-      "win_id" => "",
-      "name" => "",
-      "state" => "",
-      "file" => $targetFile,
-      "handler" => $handler,
-      "userid" => "",
-      "date" => $w['date']);
+        "id" => "",
+        "win_id" => "",
+        "name" => "",
+        "state" => "",
+        "file" => $targetFile,
+        "handler" => $handler,
+        "userid" => "",
+        "date" => $w['date']);
   
     createNewWindow($db, $window);
 }
@@ -400,7 +400,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)) {
@@ -415,7 +415,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");
         }
 

login.php

Indentation +1 added lines, -1 removed lines

@@ -148,7 +148,7 @@
         $_SESSION['monitor'] = CONFIG_STATIONNAME;
         $dbcon->addUser($username, $dbcon->ipAddress(), getDevice());
 
-       // Weiterleitung zur geschützten Startseite
+        // Weiterleitung zur geschützten Startseite
         if ($_SERVER['SERVER_PROTOCOL'] == 'HTTP/1.1') {
             if (php_sapi_name() == 'cgi') {
                 header('Status: 303 See Other');

globals.php

Indentation +3 added lines, -3 removed lines

@@ -13,10 +13,10 @@ 
 function monitor($action)
 {
     if (!defined('CONFIG_MONITOR_URL')) {
-      //trace('CONFIG_MONITOR_URL is undefined');
+        //trace('CONFIG_MONITOR_URL is undefined');
         return;
     }
-  //trace("monitor $action");
+    //trace("monitor $action");
     $ch = curl_init();
     $url = CONFIG_MONITOR_URL;
   
@@ -24,7 +24,7 @@ 
                         CURLOPT_RETURNTRANSFER => 1,
                         CURLOPT_URL => CONFIG_MONITOR_URL . '/' . CONFIG_STATIONNAME . '/' . base64_encode($action),
                         CURLOPT_USERAGENT => 'PalMA cURL Request'
-                               ));
+                                ));
     $resp = curl_exec($ch);
     curl_close($ch);
 }

index.php

Indentation +3 added lines, -3 removed lines

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