18 lines
		
	
	
	
		
			433 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable file
		
	
	
	
	
			
		
		
	
	
			18 lines
		
	
	
	
		
			433 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable file
		
	
	
	
	
#!/bin/bash
 | 
						|
DEVICE=ppp0
 | 
						|
 | 
						|
if [ -r /var/run/$DEVICE.pid ]; then
 | 
						|
        kill -INT `cat /var/run/$DEVICE.pid`
 | 
						|
 | 
						|
        if [ ! "$?" = "0" ]; then
 | 
						|
                rm -f /var/run/$DEVICE.pid
 | 
						|
                echo >/dev/console "ERROR: Removed stale pid file"
 | 
						|
                exit 1
 | 
						|
        fi
 | 
						|
 | 
						|
        echo >/dev/console "PPP link to $DEVICE terminated."
 | 
						|
        exit 0
 | 
						|
fi
 | 
						|
 | 
						|
echo >/dev/console "ERROR: PPP link not active on $DEVICE"
 | 
						|
exit 1
 |