diff options
author | Andy Wingo | 2008-04-13 00:05:51 +0200 |
---|---|---|
committer | Andy Wingo | 2008-04-13 00:05:51 +0200 |
commit | 29bc9314ddff00f2d37d522bf10246b614c4e90d (patch) | |
tree | 4780f0f5ccea9900f7a70791ccde1fb8e236aa3b | |
parent | 8e19b46ec87a301b16ce3255f03e77c6e8399f11 (diff) | |
download | tekuti-29bc9314ddff00f2d37d522bf10246b614c4e90d.tar.gz tekuti-29bc9314ddff00f2d37d522bf10246b614c4e90d.zip |
fix search with no results on deployed tekuti
* tekuti/page-helpers.scm: Be patient with git errors. Dunno why they
happen, though.
-rw-r--r-- | tekuti/page-helpers.scm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tekuti/page-helpers.scm b/tekuti/page-helpers.scm index 1873a07..709f44c 100644 --- a/tekuti/page-helpers.scm +++ b/tekuti/page-helpers.scm @@ -253,7 +253,10 @@ (dsu-sort (filter identity - (match-lines (git "grep" "-l" "-F" string master "--" "*/content") + (match-lines (or (false-if-git-error + ;; dunno why git errors sometimes here... + (git "grep" "-l" "-F" string master "--" "*/content")) + "") ":(.+)/content$" (_ key) (post-from-key master key))) post-timestamp |