Mercurial > urweb
comparison src/elab_util.sml @ 1042:a8a825861397
Explicitly abort in-flight RPCs onunload
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 24 Nov 2009 09:24:25 -0500 |
parents | b2413e4dd109 |
children | b2311dfb3158 |
comparison
equal
deleted
inserted
replaced
1041:0d767c8d2923 | 1042:a8a825861397 |
---|