#echo Usage: dophase <phasenumber>
geturl begonia.ece.northwestern.edu:8080 webppserv TestPhase $1

# Note that it is enough to call only the name server at begonia.
# The name server will inform all other servers and clients about
# the new phase number.
