added sleep to give time for the server to shut down -- this is a hack, but it's only in experimental code that will hopefully soon go away
added sleep to give time for the server to shut down -- this is a hack, but it's only in experimental code that will hopefully soon go away

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle