add an index on users.reservations

diff --git a/db/dbopt.sql b/db/dbopt.sql
index bd8f501a95ed5a15abafabd039a5bcf70c6b29ff..3d569fc163735931519f0576565805a60fceb832 100644 (file)
--- a/db/dbopt.sql
+++ b/db/dbopt.sql
@@ -5,6 +5,7 @@ create index i_usr_last on  users (last, first);
 create index i_usr_uid on  users (unix_uid);
 create index i_usr_pop on  users (pop_id);
 create index i_usr_clearid on users (clearid);
+create index i_usr_resv on users (reservations);
 
 create unique index i_krb_usid on krbmap  (users_id);
 create index i_krb_str on  krbmap (string_id);