|
18 | 18 | ?>
|
19 | 19 |
|
20 | 20 | <?php
|
21 |
| - |
22 |
| -$settings = file_get_contents('wwwSettings.json'); |
23 |
| -if($settings == false){ |
24 |
| - die("Cannot open settings file"); |
| 21 | +// load default settings from file |
| 22 | +$defaultSettings = file_get_contents('defaultSettings.json'); |
| 23 | +if($defaultSettings == false){ |
| 24 | + die("Cannot open default settings file: defaultSettings.json"); |
25 | 25 | }
|
26 |
| -$settingsArray = json_decode(prepareJSON($settings), true); |
| 26 | +$settingsArray = json_decode(prepareJSON($defaultSettings), true); |
27 | 27 | if(is_null($settingsArray)){
|
28 |
| - die("Cannot decode webSettings.json"); |
| 28 | + die("Cannot decode defaultSettings.json"); |
| 29 | +} |
| 30 | +// overwrite default settings with user settings |
| 31 | +if(file_exists('userSettings.json')){ |
| 32 | + $userSettings = file_get_contents('defaultSettings.json'); |
| 33 | + if($userSettings == false){ |
| 34 | + die("Error opening settings file userSettings.json"); |
| 35 | + } |
| 36 | + $userSettingsArray = json_decode(prepareJSON($userSettings), true); |
| 37 | + if(is_null($settingsArray)){ |
| 38 | + die("Cannot decode userSettings.json"); |
| 39 | + } |
| 40 | + foreach ($userSettingsArray as $key => $value) { |
| 41 | + $settingsArray[$key] = $userSettingsArray[$key]; |
| 42 | + } |
29 | 43 | }
|
| 44 | + |
| 45 | + |
30 | 46 | $beerName = $settingsArray["beerName"];
|
31 | 47 | $tempFormat = $settingsArray["tempFormat"];
|
32 | 48 | $profileName = $settingsArray["profileName"];
|
|
0 commit comments