Ticket #418: patch.diff

File patch.diff, 714 bytes (added by pigulla@…, 2 years ago)

Diff for trunk

  • PhpLintTask.php

     
    197197                } 
    198198                 
    199199                $messages = array(); 
    200                 exec($command.'"'.$file.'"', $messages); 
    201                 if(!preg_match('/^No syntax errors detected/', $messages[0])) { 
     200                $retVal = null; 
     201                exec($command.'"'.$file.'"', $messages, $retVal); 
     202                if($retVal == -1) { 
    202203                    if (count($messages) > 1) { 
    203204                        if ($this->errorProperty) { 
    204205                            $this->project->setProperty($this->errorProperty, $messages[1]);