| changeset 832 | 7152ca0a0ce9 |
| parent 801 | eb8b23f11744 |
| child 1227 | bdac73ed481e |
| 831:45e887f23282 | 832:7152ca0a0ce9 |
|---|---|
96 return $s; |
96 return $s; |
97 } |
97 } |
98 |
98 |
99 static function trace($error) |
99 static function trace($error) |
100 { |
100 { |
101 //$bt = debug_backtrace(); |
101 // $bt = debug_backtrace(); |
102 echo("$error\n"); |
102 echo("$error\n"); |
103 //echo(print_r($bt, true)); |
103 // echo '<pre>' . htmlspecialchars(print_r($bt, true)) . '</pre>'; |
104 |
104 |
105 exit(); |
105 exit(); |
106 } |
106 } |
107 |
107 |
108 static function parseInt($str) |
108 static function parseInt($str) |