BOINC / boinc

html/inc/bossa_example4.inc

Spacing +2 added lines, -2 removed lines

@@ -52,7 +52,7 @@ 
         echo "
             <span style=\"width:".$size."px;height:".$size."px;position:absolute;top:".$cy.";left:".$cx.";color:white;border-style:solid;border-width:1px\">
         ";
-        $c = $f->comment?"($f->comment)":"";
+        $c = $f->comment ? "($f->comment)" : "";
         echo "
             <span class=link>
             <a href=\"javascript: void(0)\">
@@ -98,7 +98,7 @@ 
     $features = $opaque_data->features;
     $x = "";
     foreach ($features as $f) {
-        $c = $f->comment?"($f->comment)":"";
+        $c = $f->comment ? "($f->comment)" : "";
         $x .= "$f->type $c <br>";
     }
     return $x;

html/inc/wap.inc

Indentation +4 added lines, -4 removed lines

@@ -23,9 +23,9 @@ 
     header("Expires: Thu, 01 Jan 1970 00:00:00 GMT");
 
     echo "<?xml version=\"1.0\" encoding=\"iso-8859-1\"?>"
-     . "<!DOCTYPE wml PUBLIC \"-//WAPFORUM//DTD WML 1.2//EN\" "
-     . "\"http://www.wapforum.org/DTD/wml_1.2.xml\">"
-     . "<wml><card id=\"cd1\"><p>";
+        . "<!DOCTYPE wml PUBLIC \"-//WAPFORUM//DTD WML 1.2//EN\" "
+        . "\"http://www.wapforum.org/DTD/wml_1.2.xml\">"
+        . "<wml><card id=\"cd1\"><p>";
 }
 
 function wap_end() {
@@ -33,6 +33,6 @@ 
 }
 
 function wap_timestamp() {
-  return gmdate('j M Y G:i:s', time()) . " UTC";
+    return gmdate('j M Y G:i:s', time()) . " UTC";
 }
 ?>

Spacing +1 added lines, -1 removed lines

@@ -33,6 +33,6 @@
 }
 
 function wap_timestamp() {
-  return gmdate('j M Y G:i:s', time()) . " UTC";
+  return gmdate('j M Y G:i:s', time())." UTC";
 }
 ?>

html/inc/image.inc

Spacing +8 added lines, -8 removed lines

@@ -23,10 +23,10 @@ 
     $gd_info = gd_info();
     // libgd version numbers seem to be always three numbers
     preg_match('/(\d).(\d).(\d)/', $gd_info['GD Version'], $match);
-    $newGD = ($match[1]>=2);
+    $newGD = ($match[1] >= 2);
 
     list($ow, $oh, $from_type) = getimagesize($sourcefile);
-    switch($from_type) {
+    switch ($from_type) {
     case 1: // GIF
         $srcImage = imageCreateFromGif($sourcefile);
         break;
@@ -41,12 +41,12 @@ 
     $tempw = $fw;
     $temph = number_format((($oh*$fw)/$ow), 0);
 
-    if($temph < $fh) {
+    if ($temph < $fh) {
         $tempw = number_format((($ow*$fh)/$oh), 0);
         $temph = $fh;
     }
 
-    if ($newGD){
+    if ($newGD) {
         $tempImage = imageCreateTrueColor($tempw, $temph);
         // Seems not to work:
         // imageAntiAlias($tempImage, true);
@@ -58,15 +58,15 @@ 
 
 
     // Calculate offsets
-    if($temph < $fh) {
-        $offsety = number_format(($temph/2)-($fh/2), 0);
+    if ($temph < $fh) {
+        $offsety = number_format(($temph/2) - ($fh/2), 0);
         $offsetx = 0;
     } else {
         $offsety = 0;
-        $offsetx = number_format(($tempw/2)-($fw/2), 0);
+        $offsetx = number_format(($tempw/2) - ($fw/2), 0);
     }
 
-    if ($newGD){
+    if ($newGD) {
         $destImage = imageCreateTrueColor($fw, $fh);
         // Seems not to work:
         // imageAntiAlias($tempImage, true);

Braces +2 added lines, -2 removed lines

@@ -46,7 +46,7 @@ 
         $temph = $fh;
     }
 
-    if ($newGD){
+    if ($newGD) {
         $tempImage = imageCreateTrueColor($tempw, $temph);
         // Seems not to work:
         // imageAntiAlias($tempImage, true);
@@ -66,7 +66,7 @@ 
         $offsetx = number_format(($tempw/2)-($fw/2), 0);
     }
 
-    if ($newGD){
+    if ($newGD) {
         $destImage = imageCreateTrueColor($fw, $fh);
         // Seems not to work:
         // imageAntiAlias($tempImage, true);

html/inc/bolt_select.inc

Spacing +1 added lines, -1 removed lines

@@ -18,7 +18,7 @@
 
 function select_cmp($a, $b) {
     if ($a->value == $b->value) return 0;
-    return ($a->value < $b->value)?1:-1;
+    return ($a->value < $b->value) ? 1 : -1;
 }
 
 class BoltSelect extends BoltSet {

html/inc/team_types.inc

Spacing +3 added lines, -3 removed lines

@@ -37,7 +37,7 @@ 
 
 function team_type_name($num) {
     global $team_types;
-    if ($num>0 && $num<count($team_types)) {
+    if ($num > 0 && $num < count($team_types)) {
         return $team_types[$num];
     }
     return "None";
@@ -53,13 +53,13 @@ 
 
 function team_type_num($name) {
     global $team_types;
-    for ($i=0; $i<sizeof($team_types); $i++) {
+    for ($i = 0; $i < sizeof($team_types); $i++) {
         if ($name == $team_types[$i]) return $i;
     }
     return 0;
 }
 
-function team_type_select($selected_type, $allow_none=false){
+function team_type_select($selected_type, $allow_none = false) {
     global $team_types;
 
     $types = $team_types;

Braces +1 added lines, -1 removed lines

@@ -59,7 +59,7 @@
     return 0;
 }
 
-function team_type_select($selected_type, $allow_none=false){
+function team_type_select($selected_type, $allow_none=false) {
     global $team_types;
 
     $types = $team_types;

html/inc/bossa_example2.inc

Spacing +2 added lines, -2 removed lines

@@ -74,9 +74,9 @@
     foreach ($insts as $inst) {
         $results[] = $inst->get_opaque_data();
     }
-    for ($i=0; $i<$n-1; $i++) {
+    for ($i = 0; $i < $n - 1; $i++) {
         $r1 = $results[$i];
-        for ($j=$i+1; $j<$n; $j++) {
+        for ($j = $i + 1; $j < $n; $j++) {
             $r2 = $results[$j];
             if (compatible($r1, $r2)) {
                 $job->set_state(BOSSA_JOB_DONE);

html/inc/bossa_example3.inc

Spacing +3 added lines, -3 removed lines

@@ -122,7 +122,7 @@ 
     // see if there's a negative consensus
     //
     $prob = 1;
-    for ($i=0; $i<$n; $i++) {
+    for ($i = 0; $i < $n; $i++) {
         $r = $results[$i];
         if ($r1->have_ellipse) continue;
         $u = $users[$i];
@@ -135,11 +135,11 @@ 
 
     // see if there's a positive consensus
     //
-    for ($i=0; $i<$n; $i++) {
+    for ($i = 0; $i < $n; $i++) {
         $r1 = $results[$i];
         $u = $users[$i];
         $prob = $u->pos_error_rate;
-        for ($j=0; $j<$n; $j++) {
+        for ($j = 0; $j < $n; $j++) {
             if ($j == $i) continue;
             $r2 = $results[$j];
             if (compatible($r1, $r2)) {

html/inc/db_conn.inc

Spacing +6 added lines, -6 removed lines

@@ -29,7 +29,7 @@ 
     function init_conn($user, $passwd, $host, $name, $readonly) {
         if (MYSQLI) {
             $x = explode(":", $host);
-            if (sizeof($x)>1) {
+            if (sizeof($x) > 1) {
                 $host = $x[0];
                 $port = $x[1];
             } else {
@@ -143,10 +143,10 @@ 
             $where_clause = "where $where_clause";
         }
         $query = "select $fields from DBNAME.$table $where_clause $order_clause";
-        return $this->enum_general($classname,$query);
+        return $this->enum_general($classname, $query);
     }
 
-    function enum($table, $classname, $where_clause=null, $order_clause=null) {
+    function enum($table, $classname, $where_clause = null, $order_clause = null) {
         return self::enum_fields(
             $table, $classname, '*', $where_clause, $order_clause
         );
@@ -205,15 +205,15 @@ 
         if ($x) return (double)$x->$field;
         return false;
     }
-    function count($table, $clause="TRUE") {
+    function count($table, $clause = "TRUE") {
         $query = "select count(*) as total from DBNAME.$table where $clause";
         return $this->get_int($query, 'total');
     }
-    function sum($table, $field, $clause="") {
+    function sum($table, $field, $clause = "") {
         $query = "select sum($field) as total from DBNAME.$table $clause";
         return $this->get_double($query, 'total');
     }
-    function max($table, $field, $clause="") {
+    function max($table, $field, $clause = "") {
         $query = "select max($field) as total from DBNAME.$table $clause";
         return $this->get_double($query, 'total');
     }

Braces +2 added lines, -1 removed lines

@@ -36,7 +36,8 @@
                 $port = null;
             }
             //if (version_compare(PHP_VERSION, '5.3.0') < 0) {
-            if (1) {        // don't use persistent connections for now
+            if (1) {
+// don't use persistent connections for now
                 $this->db_conn = @new mysqli($host, $user, $passwd, $name, $port);
             } else {
                 $this->db_conn = @new mysqli("p:".$host, $user, $passwd, $name, $port);

html/inc/cache.inc

Indentation +1 added lines, -1 removed lines

@@ -99,7 +99,7 @@
                 }
             }
         }
-       @closedir($handle);
+        @closedir($handle);
     }
     chdir($start_dir);
 } 

Spacing +29 added lines, -29 removed lines

@@ -32,8 +32,8 @@ 
         mkdir("../cache", 0770);
         chmod("../cache", 0770);
     }
-    for ($i=0;$i<256;$i++) {
-        $j=sprintf("%02x",$i);
+    for ($i = 0; $i < 256; $i++) {
+        $j = sprintf("%02x", $i);
         if (!@filemtime("../cache/$j")) {
             mkdir("../cache/$j", 0770);
             chmod("../cache/$j", 0770);
@@ -41,7 +41,7 @@ 
     }
 }
 
-function get_path($params, $phpfile=null) {
+function get_path($params, $phpfile = null) {
     if (!@filemtime("../cache/00")) make_cache_dirs();
     if ($phpfile) {
         $z = $phpfile;
@@ -51,7 +51,7 @@ 
     }
 
     // add a layer of subdirectories for reducing file lookup time
-    $sz = substr(md5($z."_".urlencode($params)),1,2);
+    $sz = substr(md5($z."_".urlencode($params)), 1, 2);
     $path = "../cache/".$sz."/".$z;
     if ($params) {
         $path = $path."_".urlencode($params);
@@ -60,14 +60,14 @@ 
 }
 
 function disk_usage($dir) {
-    $usage=0;
-    if ($handle=@opendir($dir)) {
-        while ($file=readdir($handle)) {
+    $usage = 0;
+    if ($handle = @opendir($dir)) {
+        while ($file = readdir($handle)) {
             if (($file != ".") && ($file != "..")) {
                 if (@is_dir($dir."/".$file)) {
-                    $usage+=disk_usage($dir."/".$file);
+                    $usage += disk_usage($dir."/".$file);
                 } else {
-                    $usage+=@filesize($dir."/".$file);
+                    $usage += @filesize($dir."/".$file);
                 }
             }
         }
@@ -81,8 +81,8 @@ 
     if (!chdir($dir)) {
         return;
     }
-    if ($handle=@opendir(".")) {
-        while ($file=readdir($handle)) {
+    if ($handle = @opendir(".")) {
+        while ($file = readdir($handle)) {
             if ($file == ".") continue;
             if ($file == "..") continue;
 
@@ -93,7 +93,7 @@ 
             if (@is_dir($file)) {
                 clean_cache($max_age, $file);
             } else {
-                if ((time()-@filemtime($file))>$max_age) {
+                if ((time() - @filemtime($file)) > $max_age) {
                     //echo "unlinking ".getcwd()."/$file\n";
                     @unlink($file);
                 }
@@ -107,8 +107,8 @@ 
 
 // check cache size every once in a while, purge if too big
 //
-function cache_check_diskspace(){
-    if ((rand() % CACHE_SIZE_CHECK_FREQ)) return;
+function cache_check_diskspace() {
+    if ((rand()%CACHE_SIZE_CHECK_FREQ)) return;
     if (disk_usage("../cache") < MAX_CACHE_USAGE) return;
     $x = max(TEAM_PAGE_TTL, USER_PAGE_TTL, USER_HOST_TTL,
         USER_PROFILE_TTL, TOP_PAGES_TTL, INDEX_PAGE_TTL
@@ -116,7 +116,7 @@ 
     clean_cache($x, "../cache");
 }
 
-function cache_need_to_regenerate($path, $max_age){
+function cache_need_to_regenerate($path, $max_age) {
     $regenerate = false;
     $request = apache_request_headers();
 
@@ -128,7 +128,7 @@ 
         // and touch the cached copy so other processes
         // don't regenerate at the same time
         //
-        if ($lastmodified<time()-$max_age) {
+        if ($lastmodified < time() - $max_age) {
             $regenerate = true;
             @touch($path);
         }
@@ -139,7 +139,7 @@ 
 }
 
 // Returns cached data or false if nothing was found
-function get_cached_data($max_age, $params=""){
+function get_cached_data($max_age, $params = "") {
     global $no_cache;
 
     if ($no_cache) return;
@@ -155,7 +155,7 @@ 
             }
         } else {
             cache_check_diskspace();
-            $regenerate=cache_need_to_regenerate($path, $max_age);
+            $regenerate = cache_need_to_regenerate($path, $max_age);
             if (!$regenerate) {
                 return file_get_contents($path);
             }
@@ -165,7 +165,7 @@ 
 }
 
 // DEPRECATED
-function start_cache($max_age, $params=""){
+function start_cache($max_age, $params = "") {
     global $no_cache, $caching, $memcache;
 
     if ($no_cache) return;
@@ -188,15 +188,15 @@ 
             $regenerate = cache_need_to_regenerate($path, $max_age);
         }
         //Is the stored version too old, do we need to regenerate it?
-        if ($regenerate){
+        if ($regenerate) {
             // If cached version is too old (or non-existent)
             // generate the page and write to cache
             //
             ob_start();
             ob_implicit_flush(0);
-            Header("Last-Modified: " . gmdate("D, d M Y H:i:s") . " GMT");
-            Header("Expires: " . gmdate("D, d M Y H:i:s",time()+$max_age) . " GMT");
-            Header("Cache-Control: public, max-age=" . $max_age); 
+            Header("Last-Modified: ".gmdate("D, d M Y H:i:s")." GMT");
+            Header("Expires: ".gmdate("D, d M Y H:i:s", time() + $max_age)." GMT");
+            Header("Cache-Control: public, max-age=".$max_age); 
 
             // allow the calling page to see cache period
             //
@@ -208,9 +208,9 @@ 
             if (strstr($params, "format=xml")) {
                 header('Content-type: text/xml');
             }
-            Header("Last-Modified: " . gmdate("D, d M Y H:i:s",$lastmodified) . " GMT");
-            Header("Expires: " . gmdate("D, d M Y H:i:s",$lastmodified+$max_age) . " GMT");
-            Header("Cache-Control: public, max-age=" . $max_age );
+            Header("Last-Modified: ".gmdate("D, d M Y H:i:s", $lastmodified)." GMT");
+            Header("Expires: ".gmdate("D, d M Y H:i:s", $lastmodified + $max_age)." GMT");
+            Header("Cache-Control: public, max-age=".$max_age);
             if ($cache && $cache->content) {
                 echo $cache->content;
                 exit;
@@ -228,7 +228,7 @@ 
 
 // write output buffer both to client and to cache
 // DEPRECATED
-function end_cache($max_age,$params=""){
+function end_cache($max_age, $params = "") {
     global $no_cache;
     if ($no_cache) return;
 
@@ -253,7 +253,7 @@ 
     }
 }
 
-function set_cached_data($max_age, $data, $params=""){
+function set_cached_data($max_age, $data, $params = "") {
     // for the benefit of hackers
     if (strstr($params, "..")) {
         return "bad params";
@@ -294,7 +294,7 @@ 
             self::$instance->setOption(Memcached::OPT_PREFIX_KEY, MEMCACHE_PREFIX);
         }
         $servers = explode('|', MEMCACHE_SERVERS);
-        foreach($servers as &$server) {
+        foreach ($servers as &$server) {
             list($ip, $port) = explode(':', $server);
             if (!$port) { $port = 11211; }
             $server = array($ip, $port);

Braces +7 added lines, -7 removed lines

@@ -107,7 +107,7 @@ 
 
 // check cache size every once in a while, purge if too big
 //
-function cache_check_diskspace(){
+function cache_check_diskspace() {
     if ((rand() % CACHE_SIZE_CHECK_FREQ)) return;
     if (disk_usage("../cache") < MAX_CACHE_USAGE) return;
     $x = max(TEAM_PAGE_TTL, USER_PAGE_TTL, USER_HOST_TTL,
@@ -116,7 +116,7 @@ 
     clean_cache($x, "../cache");
 }
 
-function cache_need_to_regenerate($path, $max_age){
+function cache_need_to_regenerate($path, $max_age) {
     $regenerate = false;
     $request = apache_request_headers();
 
@@ -139,7 +139,7 @@ 
 }
 
 // Returns cached data or false if nothing was found
-function get_cached_data($max_age, $params=""){
+function get_cached_data($max_age, $params="") {
     global $no_cache;
 
     if ($no_cache) return;
@@ -165,7 +165,7 @@ 
 }
 
 // DEPRECATED
-function start_cache($max_age, $params=""){
+function start_cache($max_age, $params="") {
     global $no_cache, $caching, $memcache;
 
     if ($no_cache) return;
@@ -188,7 +188,7 @@ 
             $regenerate = cache_need_to_regenerate($path, $max_age);
         }
         //Is the stored version too old, do we need to regenerate it?
-        if ($regenerate){
+        if ($regenerate) {
             // If cached version is too old (or non-existent)
             // generate the page and write to cache
             //
@@ -228,7 +228,7 @@ 
 
 // write output buffer both to client and to cache
 // DEPRECATED
-function end_cache($max_age,$params=""){
+function end_cache($max_age,$params="") {
     global $no_cache;
     if ($no_cache) return;
 
@@ -253,7 +253,7 @@ 
     }
 }
 
-function set_cached_data($max_age, $data, $params=""){
+function set_cached_data($max_age, $data, $params="") {
     // for the benefit of hackers
     if (strstr($params, "..")) {
         return "bad params";