From e2a602d16dfad5325960dec0a16ee2b88560a36f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Hugo=20H=C3=B6rnquist?= Date: Sun, 9 Aug 2020 15:44:44 +0200 Subject: Add basic (semi broken) paginator to HTML search. --- module/vcomponent/search.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'module/vcomponent') diff --git a/module/vcomponent/search.scm b/module/vcomponent/search.scm index e92e166f..5cb91e51 100644 --- a/module/vcomponent/search.scm +++ b/module/vcomponent/search.scm @@ -40,9 +40,9 @@ ;; (event → bool), (stream event), (() → Any) → (paginated-stream event) (define*-public (execute-query query page key: - time-out-handler + ;; time-out-handler (time-limit 1)) - (catch #t + (catch 'not-an-actual-error ; 'timed-out (lambda () (call-with-time-limit time-limit -- cgit v1.2.3