WebGUIRestartDispatcher.inc Table of Contents Classes WebGUIRestartDispatcherDefines a Dispatcher for restarting the web GUI. ×