suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix handin-server reloading for ss<->rkt

Browse Source
This commit is contained in:
Matthew Flatt 2010-08-19 15:50:59 -06:00
parent 1437d47fda
commit 7ee7106b2d
1 changed files with 13 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
collects/handin-server/private/reloadable.rkt
View File

@ -23,9 +23,20 @@
(provide auto-reload-value) (provide auto-reload-value)
(define module-times (make-hash)) (define module-times (make-hash))
(define (auto-reload-value modspec valname) (define (auto-reload-value modspec valname)
(let* ([path (resolve-module-path modspec #f)] (let* ([path (resolve-module-path modspec #f)] ; HACK: set!ed below
[last (hash-ref module-times path #f)] [last (hash-ref module-times path #f)]
[cur (file-or-directory-modify-seconds path)]) [cur (file-or-directory-modify-seconds
path
#f
(lambda ()
(if (regexp-match #rx#"[.]rkt$" (path->bytes path))
(file-or-directory-modify-seconds
(begin
(set! path (path-replace-suffix path #".ss"))
path)
#f
(lambda () +inf.0))
+inf.0)))])
(unless (equal? cur last) (unless (equal? cur last)
(hash-set! module-times path cur) (hash-set! module-times path cur)
(reload-module modspec path)) (reload-module modspec path))