View GitHub Repository psalm

Schedule Inspection
Subscribe

Code Duplication    Length = 4-4 lines in 2 locations

src/psalm-language-server.php 1 location

@@ 168-171 (lines=4) @@
165 
    exit;
166 
}
167 

                                

                                                            

                                    168
                                    
                                    
if (getcwd() === false) {

                                

                                                            

                                    169
                                    
                                    
    fwrite(STDERR, 'Cannot get current working directory' . PHP_EOL);

                                

                                                            

                                    170
                                    
                                    
    exit(1);

                                

                                                            

                                    171
                                    
                                    
}

                                

                                                            

                                    172
                                    
                                    

                                

                                                            

                                    173
                                    
                                    
if (isset($options['root'])) {

                                

                                                            

                                    174
                                    
                                    
    $options['r'] = $options['root'];

                                

                                                                        

                

                                                            

                    
src/psalm.php 1 location

                

                

                    

                                                
                                                    

                                
                                
                                    @@ 188-191 (lines=4) @@
                                
                            


                                                            

                                    185
                                    
                                    
    exit;

                                

                                                            

                                    186
                                    
                                    
}

                                

                                                            

                                    187
                                    
                                    

                                

                                                            

                                    188
                                    
                                    
if (getcwd() === false) {

                                

                                                            

                                    189
                                    
                                    
    fwrite(STDERR, 'Cannot get current working directory' . PHP_EOL);

                                

                                                            

                                    190
                                    
                                    
    exit(1);

                                

                                                            

                                    191
                                    
                                    
}

                                

                                                            

                                    192
                                    
                                    

                                

                                                            

                                    193
                                    
                                    
if (isset($options['root'])) {

                                

                                                            

                                    194
                                    
                                    
    $options['r'] = $options['root'];