Fixes a bug where changging the search index on the settings page wasn't working, a=chris

diff --git a/controllers/settings_controller.php b/controllers/settings_controller.php
index 3a193bf1c..45d7fe83a 100755
--- a/controllers/settings_controller.php
+++ b/controllers/settings_controller.php
@@ -150,6 +150,9 @@ class SettingsController extends Controller
             $_SESSION['its'] = $_REQUEST['index_ts'];
             $data['its'] = $_REQUEST['index_ts'];
             $changed_settings_flag = true;
+        } else if(isset($_SESSION['its']) &&
+            in_array($_SESSION['its'], $crawl_stamps)) {
+            $data['its'] = $_SESSION['its'];
         } else {
             $data['its'] = $crawl_model->getCurrentIndexDatabaseName();
         }