avoid stdin for git repo version

2010-12-06 07:01:36 -07:00 · 2010-12-06 07:01:36 -07:00 · 8cfb7d96e3
commit 8cfb7d96e3
parent b7892a3404
1 changed files with 1 additions and 0 deletions
--- a/collects/repo-time-stamp/stamp.rkt
+++ b/collects/repo-time-stamp/stamp.rkt
@ -55,6 +55,7 @@
        (and exe (let ([out (open-output-string)])
                   (parameterize ([current-output-port out]
                                  [current-error-port out]
+				  [current-input-port (open-input-string "")]
                                  [current-directory this-dir])
                     (system* exe "log" "-1" "--pretty=format:%ct|%h|g")
                     (get-output-string out))))))