Revert to hardcoded https

korlaxxalrok · korlaxxalrok · commit d6b7261b0218 · 2020-04-01T13:22:52.000-04:00
It should be safe to switch this back. I was testing with http at some
point and it made sense, but now it will probably cause issues in
ceratain cases.
diff --git a/site/launch.php b/site/launch.php
@@ -25,7 +25,7 @@
 if($path !== '/') {
    $path .= '/';
 }
-$location = 'http://' . $_SERVER['HTTP_HOST'] . $path . $location; # TODO: Can we let the https rewrite handle this?
+$location = 'https://' . $_SERVER['HTTP_HOST'] . $path . $location;
 header("Location: {$location}");
 ?>
 <html>

Original file line number	Diff line number	Diff line change
`@@ -25,7 +25,7 @@`
`25`	`25`	`if($path !== '/') {`
`26`	`26`	`$path .= '/';`
`27`	`27`	`}`
`28`		`-$location = 'http://' . $_SERVER['HTTP_HOST'] . $path . $location; # TODO: Can we let the https rewrite handle this?`
	`28`	`+$location = 'https://' . $_SERVER['HTTP_HOST'] . $path . $location;`
`29`	`29`	`header("Location: {$location}");`
`30`	`30`	`?>`
`31`	`31`	`<html>`