function restart() { Webinterface\Helper\Daemon::restartDaemon($_GET['daemon']); if (!empty($_SERVER['HTTP_X_REQUESTED_WITH']) && strtolower($_SERVER['HTTP_X_REQUESTED_WITH']) == 'xmlhttprequest') { // restart - ajax request } else { // restart - non-ajax restart // let windows wait some seconds sleep(3); redirect(WPNXM_WEBINTERFACE_ROOT . 'index.php?page=overview'); } }
function update_phpversionswitch() { $new_version = filter_input(INPUT_POST, 'new-php-version'); Webinterface\Helper\PHPVersionSwitch::switchVersion($new_version); Webinterface\Helper\Daemon::restartDaemon('php'); echo '<div class="modal"><p class="info">PHP version switched. PHP restarted.</div>'; }
function stop() { Webinterface\Helper\Daemon::stopDaemon($_GET['daemon']); }