${WWW_CONFIG} && sed -i 's/^s*listen = 127.0.0.1:9000/listen = /run/php-fpm83.sock/' ${WWW_CONFIG} && sed -i 's/^s*;s*listen.owner = nobody/listen.owner = nginx/' ${WWW_CONFIG} && sed -i 's/^s*;s*listen.mode = 0660/listen.mode = 0660/' ${WWW_CONFIG} EXPOSE ${NGINX_PORT} # Configures the container to be in JSON format.</p> <p>The API supports both POST and GET requests.</p>"; die(); } require_once "misc/header.php"; $opts = load_opts(); function print_page_buttons($type, $query, $page) { if (!empty($value)) { setcookie($key, "", time() - 1000); } } } } } } if (isset($_REQUEST["save"]) || isset($_REQUEST["reset"])) { header("Location: ./"); die(); } require_once "misc/header.php"; $opts = load_opts(); function print_page_buttons($type, $query, $page) { if (!empty($value)) { setcookie($key, $value,