diff options
author | 2012-05-16 22:46:35 +0400 | |
---|---|---|
committer | 2012-05-16 22:46:35 +0400 | |
commit | 3ffa0c777818ec5f00ec0617fa08ccba83b9cfe2 (patch) | |
tree | fdb57377024b18a1f94fd7595d0cbbc43c2caf49 /src/mono_opt.sml | |
parent | c748824e2f051bcb05eb4ece541a96d1b55714e6 (diff) |
Allow RPC and run it synchronously in onunload event.
Diffstat (limited to 'src/mono_opt.sml')
0 files changed, 0 insertions, 0 deletions