| #!/usr/bin/env bash | 
 | # | 
 | # Copyright (c) 2015 Google Inc. | 
 | # See LICENSE for details. | 
 |  | 
 | function short_description() { | 
 | 	echo "Kill the Go 9pserver for Akaros with the specified port number" | 
 | } | 
 |  | 
 | function usage() { | 
 | 	echo "Usage:" | 
 | 	echo "    ${cmd} -h | --help" | 
 | 	echo "    ${cmd} [ --ufs-port=<port> ]" | 
 | 	echo "" | 
 | 	echo "Options:" | 
 | 	echo "    -h --help               Display this screen and exit" | 
 | 	echo "    --ufs-port=<port>       Port the ufs server is on" | 
 | 	echo "                            [default: 1025]" | 
 | } | 
 |  | 
 | function main() { | 
 | 	# Check the sanity of our incoming variables | 
 | 	check_vars ufs_port | 
 |  | 
 | 	# Kill any old instances of the ufs server on ${ufs_port} | 
 | 	local ufs_pid=$(ps aux | grep "ufs" | grep "\-addr=:${ufs_port}" \ | 
 | 	                       | head -1 | awk '{print $2}' ) | 
 | 	if [ "${ufs_pid}" != "" ]; then | 
 | 		echo "Killing old 9p server instance on port=${ufs_port} (pid ${ufs_pid})" | 
 | 		echo "${ufs_pid}" | xargs kill | 
 | 	fi | 
 | } |