FIx for bug 5188 - seach with no results -> dead end

diff --git a/mod/data/view.php b/mod/data/view.php
index 6fee9af046367e5f3a48faf5500e8040a77d1769..0f31ee39cf2ed6bb0b95db827fc313a31e6bf313 100755 (executable)
--- a/mod/data/view.php
+++ b/mod/data/view.php
@@ -438,6 +438,9 @@
             print_paging_bar($totalcount, $page, $nowperpage, $baseurl, $pagevar='page');
         }
 
+    }
+
+    if ($records || $search || $page) {
         data_print_preference_form($data, $perpage, $search, $sort, $order);
     }