1
0
Fork 0
mirror of https://github.com/sbrl/Pepperminty-Wiki.git synced 2024-11-25 05:22:59 +00:00

Tweak peppermint.json.compromised error message

This commit is contained in:
Starbeamrainbowlabs 2019-09-09 17:07:23 +01:00
parent 157c6dabdd
commit d73c8d2f1f
Signed by: sbrl
GPG key ID: 1BE5172E637709C2
2 changed files with 2 additions and 1 deletions

View file

@ -29,6 +29,7 @@ This file holds the changelog for Pepperminty Wiki. This is the master list of t
- When making remote requests, Pepperminty Wiki will now correctly set the user agent string - When making remote requests, Pepperminty Wiki will now correctly set the user agent string
- The server's `expose_php` setting is respected - if it's disabled, then the PHP version will not be exposed. - The server's `expose_php` setting is respected - if it's disabled, then the PHP version will not be exposed.
- Pepperminty Wiki _shouldn't_ make remote requests without you asking it to - see above and the theme gallery - Pepperminty Wiki _shouldn't_ make remote requests without you asking it to - see above and the theme gallery
- Improved peppermint.json.compromised error message - if it's still unclear, please let me know
## v0.19.2-hotfix2 ## v0.19.2-hotfix2

View file

@ -24,7 +24,7 @@ $settingsFilename = "peppermint.json";
if(file_exists("$settingsFilename.compromised")) { if(file_exists("$settingsFilename.compromised")) {
http_response_code(500); http_response_code(500);
header("content-type: text/plain"); header("content-type: text/plain");
exit("Error: $settingsFilename.compromised exists on disk, so it's likely you need to block access to 'peppermint.json' from the internet. If you've done this already, please delete $settingsFilename.compromised and reload this page."); exit("Error: $settingsFilename.compromised exists on disk, so it's likely you need to block access to 'peppermint.json' from the internet. If you've done this already, please delete $settingsFilename.compromised and reload this page.\n\nThis check was done as part of the first run wizard.");
} }
$guiConfig = json_decode($guiConfig); $guiConfig = json_decode($guiConfig);