echo "There are now two scripts in your public-html/cgi-bin directory:"
echo "startsuper.sh"
echo "killsuper.sh"

echo "startsuper.sh will start superply and will allow it to keep running even"
echo "after you log off. killsuper.sh will kill superply if it's running.  So if"
echo "superply is down all you have to do is login to griffin, change to cgi-bin,"
echo "and execute ./startsuper.sh"

echo "Once you do this, you'll notice that the links from"
echo "http://www.cs.nyu.edu/~shasha/cgi-bin/superply.cgi"
echo "still don't appear to work.  That's because all the links on this page"
echo "point to http://www.cs.nyu.edu:2226/.m.h... "
echo "(which in my tests turns out to be a machine called webcon13...)"

echo "Anyway, here's the simple fix.  Change all the links in the page"
echo "http://cs.nyu.edu/cs/faculty/shasha/papers/superply6.html to point to"
echo "http://griffin.cs.nyu.edu:2226/.m.h... instead of http://www.cs.nyu...."

