one.patch

Marlon Nerling, 01/06/2010 01:55 PM

Download (469 Bytes)

View differences:

/usr/bin/one.patched 2010-01-06 13:51:23.000000000 +0100
146 146 
	# Kill the one daemon
147 147 

  		




  148
  148
  
    
	kill `cat $ONE_PID` > /dev/null 2>&1

  		




  
  149
  
    
	kill -9 `cat $ONE_PID` > /dev/null 2>&1

  		




  149
  150
  
    

  		




  150
  151
  
    
	# Kill the scheduler

  		




  151
  152
  
    
	

  		




  ......




  153
  154
  
    

  		




  154
  155
  
    
	# Remove pid files

  		




  155
  156
  
    

  		




  
  157
  
    
	[ -f /proc/`cat $ONE_PID`  ] && echo "oned could not be killed" && return 1

  		




  
  158
  
    

  		




  156
  159
  
    
	rm -f $ONE_PID > /dev/null 2>&1

  		




  157
  160
  
    
	rm -f $ONE_SCHEDPID > /dev/null 2>&1

  		




  158
  161