Attemped a fix in d16b2a8f6af2cfa47871f2f2247b7ce55ae7dce9 but this did not seem to solve the issue.
To replicate:
1) Click the submit button on the settings page (even after making no changes). The page will reload, but all the fields which used to be filled in are blank. If you look inside the content div, you'll see that settings.php has outputted "ERROR: User settings not found".
2) Refreshing the page does not fix this. To get back to the original working state, go to another page, log out, log in, then go back to settings. The sql call to update your settings has gone through successfully (i.e. any settings you changed have gone through).
I thought maybe d16b2a8f6af2cfa47871f2f2247b7ce55ae7dce9 would fix this, as maybe the session wasn't started, but this does not seem to be the case. Maybe the $_SESSION['ID'] is being corrupted somewhere.
I can't seem to replicate this locally, so is hard to test.
Attemped a fix in d16b2a8f6af2cfa47871f2f2247b7ce55ae7dce9 but this did not seem to solve the issue.
To replicate: 1) Click the submit button on the settings page (even after making no changes). The page will reload, but all the fields which used to be filled in are blank. If you look inside the content div, you'll see that settings.php has outputted "ERROR: User settings not found". 2) Refreshing the page does not fix this. To get back to the original working state, go to another page, log out, log in, then go back to settings. The sql call to update your settings has gone through successfully (i.e. any settings you changed have gone through).
I thought maybe d16b2a8f6af2cfa47871f2f2247b7ce55ae7dce9 would fix this, as maybe the session wasn't started, but this does not seem to be the case. Maybe the $_SESSION['ID'] is being corrupted somewhere.
I can't seem to replicate this locally, so is hard to test.