change #planet to require spaces/tabs (any number) before planet path

svn: r12212
2008-11-01 13:21:57 +00:00 · 2008-11-01 13:21:57 +00:00 · de5643ade0
commit de5643ade0
parent b0cb953e31
1 changed files with 1 additions and 1 deletions
--- a/collects/planet/lang/reader.ss
+++ b/collects/planet/lang/reader.ss
@ -9,7 +9,7 @@
         get-info)

 (define (planet-get in lang-mod export-sym src line col pos mk-fail-thunk)
-  (let ([spec (regexp-try-match #px"^\\s(.*?)(\\s|$)" in)]
+  (let ([spec (regexp-try-match #px"^[ \t]+(.*?)(\\s|$)" in)]
        [bad (lambda (str eof?)
               ((if eof?
                    raise-read-eof-error