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