Révision 17f78427
Whitespace cleanup
- remove trailing whitespace
- remove empty lines at the end of files
| plugins/games/game | ||
|---|---|---|
| 45 | 45 |
p("graph_category games");
|
| 46 | 46 |
p("graph_info $info");
|
| 47 | 47 |
p("graph_printf %6.0lf");
|
| 48 |
|
|
| 48 |
|
|
| 49 | 49 |
if (isset($ini_array['settings'][$machine_name . '_colour'])) |
| 50 | 50 |
p("players.colour " . $ini_array['settings'][$machine_name . '_colour']);
|
| 51 | 51 |
|
| ... | ... | |
| 106 | 106 |
// Query the game servers |
| 107 | 107 |
$results = queryServers($ini_array); |
| 108 | 108 |
// Cache the query in the state file |
| 109 |
$fp = fopen($state, 'w+') or die("I could not open state file.");
|
|
| 110 |
fwrite($fp, serialize($results));
|
|
| 109 |
$fp = fopen($state, 'w+') or die("I could not open state file.");
|
|
| 110 |
fwrite($fp, serialize($results)); |
|
| 111 | 111 |
fclose($fp); |
| 112 | 112 |
|
| 113 | 113 |
|
| ... | ... | |
| 175 | 175 |
// Load games.ini so we can show pretty game names |
| 176 | 176 |
$games = parse_ini_file('gameq/GameQ/games.ini', true);
|
| 177 | 177 |
|
| 178 |
$results = unserialize(file_get_contents($state));
|
|
| 178 |
$results = unserialize(file_get_contents($state)); |
|
| 179 | 179 |
|
| 180 | 180 |
// Print individual game values |
| 181 | 181 |
foreach ($results as $name => $server){
|
Formats disponibles : Unified diff