Faster method of querying TurboVNC version number on Mac OS X.
Fixed bug in questionKillServer where the WebDAV-unmount and
shutdown calls where the wrong way around relative to
webDavMount.isSet().
Stil trying to fix issue where WebDAV window doesn't get closed
and unmounted when disconnecting from CVL Desktop.