BOINC / boinc

html/inc/bolt_ex.inc

Doc Comments +8 added lines

@@ -240,6 +240,10 @@ 
 
 class BoltFitbField {
     public $textarea, $nrows, $ncols;
+
+    /**
+     * @param boolean $textarea
+     */
     function __construct($textarea, $nrows, $ncols) {
         $this->textarea = $textarea;
         $this->nrows = $nrows;
@@ -258,6 +262,10 @@ 
 class BoltFitbAnswer {
     public $type;   // 0=constant, 1=regexp, 2=func
     public $ans;
+
+    /**
+     * @param integer $type
+     */
     function __construct($type, $ans) {
         $this->type = $type;
         $this->ans = $ans;

Spacing +14 added lines, -14 removed lines

@@ -21,11 +21,11 @@ 
 // The following is a global var accessed by exercise functions.
 //
 $bolt_ex = null;
-$bolt_ex->mode = 0;     // input: SHOW/SCORE/ANSWER
-$bolt_ex->index = 0;    // input: sequence of this exercise in file
-$bolt_ex->score = 0;    // input/output: cumulative score (if mode = SCORE)
-$bolt_ex->weight = 0;   // input/output: cumulative weight
-$bolt_ex->query_string = "";    // user's response (if SCORE or ANSWER)
+$bolt_ex->mode = 0; // input: SHOW/SCORE/ANSWER
+$bolt_ex->index = 0; // input: sequence of this exercise in file
+$bolt_ex->score = 0; // input/output: cumulative score (if mode = SCORE)
+$bolt_ex->weight = 0; // input/output: cumulative weight
+$bolt_ex->query_string = ""; // user's response (if SCORE or ANSWER)
 
 function weight($w) {
     return array('weight', $w);
@@ -170,9 +170,9 @@ 
             $response = isset($$key);
             $r = $choice[1];
             $correct = ($r && $response) || (!$r && !$response);
-            $color = $correct?"#88ff88":"#ff8888";
-            table_row($c, $r?"yes":"no",
-                array($response?"yes":"no", "bgcolor=$color")
+            $color = $correct ? "#88ff88" : "#ff8888";
+            table_row($c, $r ? "yes" : "no",
+                array($response ? "yes" : "no", "bgcolor=$color")
             );
             $i++;
         }
@@ -215,11 +215,11 @@ 
         if ($y > $rect[3]) $right = false;
         $cx = $rect[0];
         $cy = $rect[2];
-        $sizex = $rect[1]-$rect[0];
-        $sizey = $rect[3]-$rect[2];
-        $ax = $x-4;
-        $ay = $y-4;
-        $color = $right?"green":"red";
+        $sizex = $rect[1] - $rect[0];
+        $sizey = $rect[3] - $rect[2];
+        $ax = $x - 4;
+        $ay = $y - 4;
+        $color = $right ? "green" : "red";
         if ($right) {
             echo "The point you selected (shown in green) is correct.";
         } else {
@@ -256,7 +256,7 @@ 
 }
 
 class BoltFitbAnswer {
-    public $type;   // 0=constant, 1=regexp, 2=func
+    public $type; // 0=constant, 1=regexp, 2=func
     public $ans;
     function __construct($type, $ans) {
         $this->type = $type;

html/inc/bolt_select.inc

Doc Comments +3 added lines

@@ -52,6 +52,9 @@
     }
 }
 
+/**
+ * @param string $n
+ */
 function valuator($n) {
     return array('valuator', $n);
 }

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/bolt_snap.inc

Doc Comments +6 added lines

@@ -45,6 +45,9 @@ 
     return "../bolt_snap/compare_snapshot_$x";
 }
 
+/**
+ * @param null|integer $dur
+ */
 function write_compare_snapshot($course_id, $select_name, $xset_name, $dur) {
     $now = time();
     $start = $now - $dur*86400;
@@ -127,6 +130,9 @@ 
     return "../bolt_snap/map_snapshot_".$course_id;
 }
 
+/**
+ * @param null|integer $dur
+ */
 function write_map_snapshot($course_id, $dur) {
     $now = time();
     $start = $now - $dur*86400;

html/inc/bolt_util_ops.inc

Doc Comments +21 added lines

@@ -23,6 +23,9 @@ 
 
 // get names of units of a given type
 
+/**
+ * @param string $type
+ */
 function units_of_type($unit, $type) {
     $names = array();
     if (get_class($unit) == $type) {
@@ -118,6 +121,10 @@ 
 
 //////////// graph drawing
 
+/**
+ * @param integer $n
+ * @param integer $width
+ */
 function compare_bar($title, $n, $width, $lo, $hi) {
     $x1 = $width*$lo;
     $x2 = $width*($hi-$lo);
@@ -137,6 +144,9 @@ 
     ";
 }
 
+/**
+ * @param integer $width
+ */
 function compare_bar_insuff($title, $width) {
     return "
         <tr>
@@ -150,6 +160,10 @@ 
     ";
 }
 
+/**
+ * @param integer[] $x
+ * @param integer $width
+ */
 function outcome_graph($x, $width) {
     $n = $x[0]+$x[1]+$x[2];
     if (!$n) return empty_cell();
@@ -182,6 +196,9 @@ 
     return $s;
 }
 
+/**
+ * @param integer $w
+ */
 function time_graph($t, $w) {
     if ($t == 0) return "<td>---</td>";
     $x = (log10($t)+2)*$w/4;
@@ -193,6 +210,10 @@ 
     </td>";
 }
 
+/**
+ * @param integer $t
+ * @param integer $w
+ */
 function score_graph($t, $w) {
     if ($t == 0) return "<td>---</td>";
     $x = $t*$w;

Spacing +9 added lines, -9 removed lines

@@ -89,10 +89,10 @@ 
         $n++;
         $delta = $x - $m;
         $m += $delta/$n;
-        $m2 += $delta*($x-$m);
+        $m2 += $delta*($x - $m);
     }
     $mean = $m;
-    $stdev = sqrt($m2/($n-1));
+    $stdev = sqrt($m2/($n - 1));
 }
 
 // approximate the 90% confidence interval for the mean of an array
@@ -103,13 +103,13 @@ 
 
     // I'm too lazy to compute the t distribution
     $t_90 = 1.7;
-    $d = $t_90 * $stdev / sqrt($n);
+    $d = $t_90*$stdev/sqrt($n);
     $lo = $mean - $d;
     $hi = $mean + $d;
 }
 
 function test_stats() {
-    $a = array(1,1,1,1,0,1,1,1,3, 1, 1, 1, 1);
+    $a = array(1, 1, 1, 1, 0, 1, 1, 1, 3, 1, 1, 1, 1);
     mean_stdev($a, $mean, $stdev);
     echo "mean: $mean stdev: $stdev\n";
     conf_int_90($a, $lo, $hi);
@@ -120,7 +120,7 @@ 
 
 function compare_bar($title, $n, $width, $lo, $hi) {
     $x1 = $width*$lo;
-    $x2 = $width*($hi-$lo);
+    $x2 = $width*($hi - $lo);
     $a1 = number_format($lo*100);
     $a2 = number_format($hi*100);
     return "
@@ -151,12 +151,12 @@ 
 }
 
 function outcome_graph($x, $width) {
-    $n = $x[0]+$x[1]+$x[2];
+    $n = $x[0] + $x[1] + $x[2];
     if (!$n) return empty_cell();
     $x0 = $width*$x[1]/$n;
     $x1 = $width*$x[0]/$n;
     $x2 = $width*$x[2]/$n;
-    if ($x[1]/$n>0.05) {
+    if ($x[1]/$n > 0.05) {
         $t0 = number_format(100*$x[1]/$n)."%";
     } else {
         $t0 = "";
@@ -184,7 +184,7 @@ 
 
 function time_graph($t, $w) {
     if ($t == 0) return "<td>---</td>";
-    $x = (log10($t)+2)*$w/4;
+    $x = (log10($t) + 2)*$w/4;
     $t = number_format($t, 1);
     return "<td>
         <table class=bolt_bar><tr>
@@ -196,7 +196,7 @@ 
 function score_graph($t, $w) {
     if ($t == 0) return "<td>---</td>";
     $x = $t*$w;
-    $y = (1-$t)*$w;
+    $y = (1 - $t)*$w;
     $t = number_format($t*100);
     $s = "<td>
         <table class=bolt_bar><tr>

html/inc/bolt_xset.inc

Doc Comments +9 added lines

@@ -22,6 +22,9 @@ 
     public $weight;
     public $callback;
 
+    /**
+     * @param null|BoltRefresh $refresh
+     */
     function __construct(
         $name, $units, $number, $repeats, $refresh, $attrs, $callback, $weight
     ) {
@@ -156,10 +159,16 @@ 
 define('REPEAT', 2);
 define('NEXT', 4);
 
+/**
+ * @param integer $f
+ */
 function repeat($s, $u, $f) {
     return new BoltRepeat($s, $u, $f);
 }
 
+/**
+ * @param integer[] $a
+ */
 function refresh($a) {
     return new BoltRefresh($a);
 }

Spacing +6 added lines, -6 removed lines

@@ -52,7 +52,7 @@ 
         $nshown = $state_rec['nshown'];
         $state_rec['scores'][$nshown] = $score;
         $iter->state[$this->name] = $state_rec;
-        $is_last = ($nshown+1 == $this->ntoshow);
+        $is_last = ($nshown + 1 == $this->ntoshow);
         if (!$is_last) {
             return false;
         }
@@ -62,15 +62,15 @@ 
         //   - optionally create or update bolt_refresh record
         //
         $total_score = 0;
-        for ($i=0; $i<$nshown+1; $i++) {
+        for ($i = 0; $i < $nshown + 1; $i++) {
             $total_score += $state_rec['scores'][$i];
         }
-        $avg_score = $total_score/($nshown+1);
+        $avg_score = $total_score/($nshown + 1);
 
         $repeat = null;
         $least = 2;
         foreach ($this->repeats as $r) {
-            if ($avg_score < $r->score && $r->score<$least) {
+            if ($avg_score < $r->score && $r->score < $least) {
                 $repeat = $r;
                 $least = $r->score;
             }
@@ -134,7 +134,7 @@ 
     }
 }
 
-class BoltRefresh{
+class BoltRefresh {
     public $intervals;
     function __construct($i) {
         $this->intervals = $i;
@@ -191,7 +191,7 @@ 
             } else if (get_class($arg) == "BoltRepeat") {
                 $repeats[] = $arg;
             } else if (get_class($arg) == "BoltRefresh") {
-                $refresh= $arg;
+                $refresh = $arg;
             } else {
                 echo "Can't include object of type ".get_class($arg)." within an exercise set.";
             }

Braces +1 added lines, -1 removed lines

@@ -134,7 +134,7 @@
     }
 }
 
-class BoltRefresh{
+class BoltRefresh {
     public $intervals;
     function __construct($i) {
         $this->intervals = $i;

html/inc/bossa.inc

Doc Comments +3 added lines

@@ -38,6 +38,9 @@
     return $job->insert($clause);
 }
 
+/**
+ * @param string $name
+ */
 function bossa_batch_create($appid, $name, $calibration) {
     $now = time();
     $c = $calibration?"1":"0";

Spacing +1 added lines, -1 removed lines

@@ -40,7 +40,7 @@
 
 function bossa_batch_create($appid, $name, $calibration) {
     $now = time();
-    $c = $calibration?"1":"0";
+    $c = $calibration ? "1" : "0";
     return BossaBatch::insert("(create_time, app_id, name, calibration) values ($now, $appid, '$name', $c)");
 }
 

html/inc/cache.inc

Doc Comments +17 added lines

@@ -59,6 +59,9 @@ 
     return $path;
 }
 
+/**
+ * @param string $dir
+ */
 function disk_usage($dir) {
     $usage=0;
     if ($handle=@opendir($dir)) {
@@ -76,6 +79,10 @@ 
     return $usage;
 }
 
+/**
+ * @param integer $max_age
+ * @param string $dir
+ */
 function clean_cache($max_age, $dir) {
     $start_dir = getcwd();
     if (!chdir($dir)) {
@@ -116,6 +123,9 @@ 
     clean_cache($x, "../cache");
 }
 
+/**
+ * @param string $path
+ */
 function cache_need_to_regenerate($path, $max_age){
     $regenerate = false;
     $request = apache_request_headers();
@@ -139,6 +149,9 @@ 
 }
 
 // Returns cached data or false if nothing was found
+/**
+ * @param integer $max_age
+ */
 function get_cached_data($max_age, $params=""){
     global $no_cache;
 
@@ -253,6 +266,10 @@ 
     }
 }
 
+/**
+ * @param integer $max_age
+ * @param string $data
+ */
 function set_cached_data($max_age, $data, $params=""){
     // for the benefit of hackers
     if (strstr($params, "..")) {

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";

html/inc/cert.inc

Doc Comments +3 added lines

@@ -37,6 +37,9 @@
     $ops = number_format($ops, 2);
 }
 
+/**
+ * @param boolean $bolden
+ */
 function credit_string($credit, $bolden) {
     $cobbs = number_format($credit, 0);
 

Spacing +3 added lines, -3 removed lines

@@ -43,10 +43,10 @@
     credit_to_ops($credit, $ops, $unit);
       
     if ($bolden) {
-        $lbold="[[";
-        $rbold="]]";
+        $lbold = "[[";
+        $rbold = "]]";
     } else {
-        $lbold="";        $rbold="";
+        $lbold = ""; $rbold = "";
     } 
     return " $lbold$cobbs Cobblestones$rbold of computation ($ops $unit floating-point operations)";
 }

html/inc/db.inc

Doc Comments +8 added lines

@@ -69,6 +69,10 @@ 
     function _mysql_fetch_row($r) {
         return mysqli_fetch_row($r);
     }
+
+    /**
+     * @param resource $r
+     */
     function _mysql_fetch_assoc($r) {
         return mysqli_fetch_assoc($r);
     }
@@ -132,6 +136,10 @@ 
     function _mysql_fetch_row($r) {
         return mysql_fetch_row($r);
     }
+
+    /**
+     * @param resource $r
+     */
     function _mysql_fetch_assoc($r) {
         return mysql_fetch_assoc($r);
     }

Switch Indentation +8 added lines, -8 removed lines

@@ -86,14 +86,14 @@
     function _mysql_field_attrs($r, $i) {
         $x = mysqli_fetch_field_direct($r, $i);
         switch ($x->type) {
-            case 1: $x->type = 'tinyint'; break;
-            case 2: $x->type = 'smallint'; break;
-            case 3: $x->type = 'int'; break;
-            case 5: $x->type = 'double'; break;
-            case 7: $x->type = 'timestamp'; break;
-            case 252: $x->type = 'blob'; break;
-            case 253: $x->type = 'varchar'; break;
-            case 254: $x->type = 'char'; break;
+        case 1: $x->type = 'tinyint'; break;
+        case 2: $x->type = 'smallint'; break;
+        case 3: $x->type = 'int'; break;
+        case 5: $x->type = 'double'; break;
+        case 7: $x->type = 'timestamp'; break;
+        case 252: $x->type = 'blob'; break;
+        case 253: $x->type = 'varchar'; break;
+        case 254: $x->type = 'char'; break;
         }
         return $x;
     }

Spacing +2 added lines, -2 removed lines

@@ -43,7 +43,7 @@ 
     function _mysql_connect($host, $user, $pass, $dbname) {
         global $mysqli;
         $x = explode(":", $host);
-        if (sizeof($x)>1) {
+        if (sizeof($x) > 1) {
             $host = $x[0];
             $port = $x[1];
         } else {
@@ -162,7 +162,7 @@ 
     }
 }
 
-function db_init_aux($try_replica=false) {
+function db_init_aux($try_replica = false) {
     $config = get_config();
     $user = parse_config($config, "<db_user>");
     $pass = parse_config($config, "<db_passwd>");