@@ -267,7 +267,7 @@ |
||
267 | 267 | break; |
268 | 268 | } |
269 | 269 | return($r); |
270 | - } |
|
270 | + } |
|
271 | 271 | |
272 | 272 | /** |
273 | 273 | * Define a version that will be used in json sent to the server. The server will refuse |
@@ -4,18 +4,18 @@ |
||
4 | 4 | * Print a message |
5 | 5 | */ |
6 | 6 | function _print( $string = NULL ) { |
7 | - if ( 'cli' == php_sapi_name() ) { // PHP is running in terminal |
|
8 | - $line_end = PHP_EOL; |
|
9 | - } else { |
|
10 | - $line_end = '<br/>'; |
|
11 | - } |
|
7 | + if ( 'cli' == php_sapi_name() ) { // PHP is running in terminal |
|
8 | + $line_end = PHP_EOL; |
|
9 | + } else { |
|
10 | + $line_end = '<br/>'; |
|
11 | + } |
|
12 | 12 | |
13 | - if ( ! empty( $string ) ) { |
|
14 | - $file = basename( $_SERVER["PHP_SELF"] ); |
|
15 | - $output = date( 'd-m-Y_H:i:s ' ) . "[$file] $string $line_end"; |
|
16 | - } else { |
|
17 | - $output = $line_end; |
|
18 | - } |
|
13 | + if ( ! empty( $string ) ) { |
|
14 | + $file = basename( $_SERVER["PHP_SELF"] ); |
|
15 | + $output = date( 'd-m-Y_H:i:s ' ) . "[$file] $string $line_end"; |
|
16 | + } else { |
|
17 | + $output = $line_end; |
|
18 | + } |
|
19 | 19 | |
20 | - print ( $output ); |
|
20 | + print ( $output ); |
|
21 | 21 | } |