# HG changeset patch # User Pascal Bellard # Date 1246370224 -7200 # Node ID 94863a7d1610c3648289da792ce86a761e9dd35d # Parent 1ad832186b42c74f6cbfe6cb1f3a783a664db798 ajaxterm: fix apache rewrite rule diff -r 1ad832186b42 -r 94863a7d1610 ajaxterm/receipt --- a/ajaxterm/receipt Tue Jun 30 14:58:15 2009 +0200 +++ b/ajaxterm/receipt Tue Jun 30 15:57:04 2009 +0200 @@ -72,11 +72,13 @@ ProxyPassReverse /ajaxterm/ http://localhost:8022/ - - RewriteEngine On - RewriteCond %{SERVER_PORT} !^443$ - RewriteRule ^/ajaxterm https://%{SERVER_NAME}/ajaxterm/ [L,R=303] - + + + RewriteEngine On + RewriteCond %{HTTPS} off + RewriteRule ^.*$ https://%{SERVER_NAME}/ajaxterm/ [L,R=303] + + EOT if [ -z "$1" ]; then # Start Web server.