jigAdmin GUI: how to restart servers?

• From: rob sanders <rsanders@draper.com>
• Date: Thu, 13 May 1999 16:55:19 -0400 (EDT)
• To: "www-jigsaw@w3.org" <www-jigsaw@w3.org>
• Message-ID: <373B3C21.5D37FEAC@draper.com>

Hi:

I can turn off the server in the GUI using the stop sign icon. Is there
a way to restart the server in the GUI?

-rob

Received on Thursday, 13 May 1999 17:43:43 UTC