print_radio() fixes

[tt-rss.git] / backend.php

diff --git a/backend.php b/backend.php
index f37c51bd80b5ee17598fe2442c496cf051f837ec..2a488e88acac7073b4678992738186d6a28206e5 100644 (file)
--- a/backend.php
+++ b/backend.php
@@ -1523,8 +1523,10 @@
 
                                        $type_name = db_fetch_result($result, 0, "type_name");
 
+//                                     print "$pref_name : $type_name : $value<br>";
+
                                        if ($type_name == "bool") {
-                                               if ($value == 1) {
+                                               if ($value == "1") {
                                                        $value = "true";
                                                } else {
                                                        $value = "false";
@@ -1546,6 +1548,8 @@
 
                } else if ($subop == "Reset to defaults") {
 
+                       db_query($link, "UPDATE ttrss_prefs SET value = def_value");
+
                        header("Location: prefs.php");
 
                } else {