src/Commands/ServerAddCommand.php 1 location
|
@@ 45-54 (lines=10) @@
|
| 42 |
|
{ |
| 43 |
|
$command = new Style($input, $output); |
| 44 |
|
|
| 45 |
|
if (! file_exists($file = package_path("servers.json"))) { |
| 46 |
|
|
| 47 |
|
if (! is_dir($dir = package_path())) { |
| 48 |
|
mkdir($dir,0777); |
| 49 |
|
} |
| 50 |
|
|
| 51 |
|
touch($file); |
| 52 |
|
chmod($file,0777); |
| 53 |
|
file_put_contents($file,json_encode([])); |
| 54 |
|
} |
| 55 |
|
|
| 56 |
|
$servers = json_decode(file_get_contents($file), true); |
| 57 |
|
|
src/Commands/ServerListCommand.php 1 location
|
@@ 42-51 (lines=10) @@
|
| 39 |
|
{ |
| 40 |
|
$command = new Style($input, $output); |
| 41 |
|
|
| 42 |
|
if (! file_exists($file = package_path("servers.json"))) { |
| 43 |
|
|
| 44 |
|
if (! is_dir($dir = package_path())) { |
| 45 |
|
mkdir($dir,0777); |
| 46 |
|
} |
| 47 |
|
|
| 48 |
|
touch($file); |
| 49 |
|
chmod($file,0777); |
| 50 |
|
file_put_contents($file,json_encode([])); |
| 51 |
|
} |
| 52 |
|
|
| 53 |
|
$servers = json_decode(file_get_contents($file), true); |
| 54 |
|
|