def stop_server():
    VistrailsServer.save_configuration()
    VistrailsServer.destroy()
    VistrailsServer.deleteLater()
Stop and finalize the application singleton.
dataset/ETHPy150Open VisTrails/VisTrails/vistrails/gui/application_server.py/stop_server