PHPToolExecutableLauncher-issue-54.patch

Dejan Spasic, 04/15/2010 01:51 am

Download (903 Bytes)

View differences:

src/org/phpsrc/eclipse/pti/core/launching/PHPToolExecutableLauncher.java (working copy)
189 189 
				}
190 190 
			}
191 191 

  		




  192
  
  
    
			// if (process.getExitValue() > 1) {


  		




  193
  
  
    
			// throw new CoreException(new Status(IStatus.ERROR,


  		




  194
  
  
    
			// PHPToolCorePlugin.PLUGIN_ID, process


  		




  195
  
  
    
			// .getStreamsProxy().getOutputStreamMonitor().getContents()));


  		




  196
  
  
    
			// }


  		




  
  192
  
    
			if (process.getExitValue() != 0) {


  		




  
  193
  
    
				throw new CoreException(new Status(IStatus.ERROR, PHPToolCorePlugin.PLUGIN_ID, process


  		




  
  194
  
    
						.getStreamsProxy().getErrorStreamMonitor().getContents()));


  		




  
  195
  
    
			}


  		




  197
  196
  
    

  		




  198
  197
  
    
			// refresh resources


  		




  199
  198
  
    
			subMonitor = new SubProgressMonitor(monitor, 10); // 10+80+10 of