anchor.diff:  #!/bin/bash
   
  -# This script allows Hopsworks to start/stop/ping (check if alive) a Jupyter Notebook Server.
  +# This script allows Hopsworks to start/kill/ping (check if alive) a Jupyter Notebook Server.
   # There will be 1 notebook-server per ProjectUser.
   # This script can be run by hopsworks (running as user 'glassfish') as a sudo command whereupon
   # it changes user to 'jupyter' to run the command as user 'jupyter'.
  
positive.code: 
  help() {
      echo ""
      echo "usage: $0 [start jupyter_home hadoop_home java_home anaconda_env port logfile secret_dir] | [kill jupyter_home pid port] | [stop hdfs_user] | [ping pid] | [list] [killhard pid]"
      echo ""
      exit 1
  }
  
negative.code: PORT=0
  
  
  if [ "$1" == "kill" ] ; then
  
      if [ $# -ne 4 ]; then
  	help
  