Fixes a bug in settings_controller.php about switching indexes when logged in, a=chris

diff --git a/controllers/settings_controller.php b/controllers/settings_controller.php
index 9b358dcdc..df4051cde 100755
--- a/controllers/settings_controller.php
+++ b/controllers/settings_controller.php
@@ -153,6 +153,7 @@ class SettingsController extends Controller
     function loggedInChangeSettings(&$data)
     {
         $crawl_model = $this->model("crawl");
+        $crawl_stamps = array_keys($data['CRAWLS']);
         $changed_settings_flag = false;
         if(isset($_REQUEST['index_ts']) &&
             in_array($_REQUEST['index_ts'], $crawl_stamps)) {