changed virtuoso to restart rather than start. this now allows isql connections