swh:1:snp:2d869aa00591d2ac8ec8e7abacdda563d413189d
History
Tip revision: 56677eb4a14ada56a2eaa421a54b8cddaa0bcd7f authored by Roberto Di Cosmo on 26 October 2011, 15:20 UTC
Redirect stdout/stderr to one separate file per worker
Tip revision: 56677eb
File Mode Size
example
.depend -rw-r--r-- 58 bytes
.gitignore -rw-r--r-- 15 bytes
Changelog -rw-r--r-- 320 bytes
INSTALL -rw-r--r-- 92 bytes
LICENSE -rw-r--r-- 30.4 KB
META -rw-r--r-- 183 bytes
Makefile -rw-r--r-- 1.1 KB
README -rw-r--r-- 2.7 KB
parmap.ml -rw-r--r-- 4.3 KB
parmap.mli -rw-r--r-- 2.8 KB

README

back to top