#2723 Some users can't save preferences

[Eberhard Kümmerle]

The following patch solved the problem:

--- WebCalendar-1.2.7/pref.php 2013-01-24 22:10:19.000000000 +0100
+++ WebCalendar-1.2.7_mod/pref.php 2014-11-25 15:20:03.091620407 +0100
@@ -85,7 +85,7 @@

if ( ! empty ( $_POST ) && empty ( $error ) ) {
$t = $_POST['pref_THEME'];
- if ( ! empty ( $t ) ) {
+ if ( ! empty ( $t ) && $t != 'none') {
$valid = false;
foreach ( $themes as $theme ) {
if ( $theme == $t )