From 824883e3d4f1f9edf5afeb85b2567ca74f6e20c2 Mon Sep 17 00:00:00 2001 From: Mark Huang Date: Mon, 5 Feb 2007 19:56:26 +0000 Subject: [PATCH] - if web server was configured but not enabled, script would think that it was already running and would not enable boot server - also redirect direct requests to /planetlab/ to HTTPS - if web server is not enabled, redirect index page to web server --- plc.d/httpd | 17 ++++++++++++++--- 1 file changed, 14 insertions(+), 3 deletions(-) diff --git a/plc.d/httpd b/plc.d/httpd index 28eb823..4427367 100755 --- a/plc.d/httpd +++ b/plc.d/httpd @@ -7,7 +7,7 @@ # Mark Huang # Copyright (C) 2006 The Trustees of Princeton University # -# $Id: httpd,v 1.8 2007/01/25 20:27:18 mlhuang Exp $ +# $Id: httpd,v 1.9 2007/02/02 15:37:25 mlhuang Exp $ # # Source function library and configuration @@ -65,7 +65,10 @@ case "$1" in if [ "$server" = "$previous_server" ] ; then break fi - previous_hostname=PLC_${previous_server}_HOST + previous_enabled=PLC_${previous_server}_ENABLED + if [ "${!previous_enabled}" != "1" ] ; then + continue + fi previous_http_port=PLC_${previous_server}_PORT previous_https_port=PLC_${previous_server}_SSL_PORT @@ -77,16 +80,20 @@ case "$1" in fi done - # Listen on these ports + # HTTP configuration if [ $skip_http -eq 0 -a -n "${!http_port}" ] ; then cat < Redirect /db https://$PLC_WWW_HOST:$PLC_WWW_SSL_PORT/db + Redirect /planetlab https://$PLC_WWW_HOST:$PLC_WWW_SSL_PORT/planetlab Redirect /$PLC_API_PATH https://$PLC_API_HOST:$PLC_API_PORT/$PLC_API_PATH EOF fi + + # HTTPS configuration if [ $skip_https -eq 0 -a -n "${!https_port}" ] ; then # XXX Cannot support NameVirtualHost over SSL. If # the API, boot, and web servers are all running @@ -122,6 +129,10 @@ EOF Deny from all + + Deny from all + +Redirect /index.php http://$PLC_WWW_HOST:$PLC_WWW_PORT/ EOF fi ) >>$plc_conf -- 2.43.0