How do I stop the JVM?

Newbie question...

If I run /Admin/Exit, the server itself stops and won't accept any more
requests, which is good. But the JVM under which the server was running
doesn't terminate. I have to switch to the DOS box manually and hit ^C to
get rid of it.

I'm using Jigsaw 1.0beta2, under Win95. I am not normally connected to a
network and don't have a DNS. I run the server by starting a DOS box and
typing:
  "C:\Program Files\JavaSoft\Jdk1.1.5\Bin\Java" w3c.jigsaw.Main -root
"C:\program files\Jigsaw\Jigsaw" -host 127.0.0.1

(all on one line). This runs the current JVM, and the server and seems to
be fine - it runs my Java servlets quite nicely. When I use
http://127.0.0.1:8001/Admin/Exit the servlets are destroyed and I get:
    http-server: http://127.0.0.1:8001/ done.

in the DOS box, so presumably the server has stopped alright but the JVM
itself doesn't exit. There is no C: prompt in the DOS box. Apart from the
hassle of typing ^C manually, I'm worried that it kill the JVM abruptly
and, eg, it won't run any outstanding finalizers.

Sorry for troubling the list with what must be an elementary question. I
have looked through the documentation, and also through the archives of
this list but I can't see any mention of it.

   Dave Harris, Swansea, UK   | "Weave a circle round him thrice,
      brangdon@cix.co.uk      |   And close your eyes with holy dread,
                              |  For he on honey dew hath fed
 http://www.bhresearch.co.uk/ |   And drunk the milk of Paradise."

Received on Monday, 9 February 1998 04:15:48 UTC