stop-race.patch

soren-ubuntu-com -, 01/17/2009 03:33 PM

Download (1.03 KB)

View differences:

packaging/share/scripts/one 2009-01-17 14:12:17.743257944 +0000
32 32 
	if [ -f $LOCK_FILE ]; then
33 33 
		if [ -f  $ONE_PID ]; then
34 34 
			ONEPID=`cat $ONE_PID`
35 
			ps $ONEPID &> /dev/null
35 
			ps $ONEPID > /dev/null
36 36 
			if [ $? -eq 0 ]; then
37 37 
				echo "ONE is still running (PID:$ONEPID). Please try 'one stop' first."
38 38 
				exit 1
......
40 40 
		fi
41 41 
		if [ -f  $ONE_SCHEDPID ]; then
42 42 
			ONESCHEDPID=`cat $ONE_SCHEDPID`
43 
			ps $ONESCHEDPID &> /dev/null
43 
			ps $ONESCHEDPID > /dev/null
44 44 
			if [ $? -eq 0 ]; then
45 45 
				echo "The scheduler is still running (PID:$ONEPID). Please try 'one stop' first."
46 46 
				exit 1
......
117 117 

  		




  118
  118
  
    
	# Kill the one daemon

  		




  119
  119
  
    

  		




  120
  
  
    
	kill `cat $ONE_PID` &> /dev/null

  		




  
  120
  
    
	kill `cat $ONE_PID` > /dev/null

  		




  121
  121
  
    

  		




  122
  122
  
    
	# Kill the scheduler

  		




  123
  123
  
    
	

  		




  124
  
  
    
	kill `cat $ONE_SCHEDPID` &> /dev/null

  		




  
  124
  
    
	kill `cat $ONE_SCHEDPID` > /dev/null

  		




  125
  125
  
    

  		




  126
  126
  
    
	# Remove pid files

  		




  127
  127