Closed c-cube closed 9 years ago
make the frogmap tool+library:
Usage should be something like
frogmap -j 15 [options] -- cmd f1 f2 f3.... f1000
or
frogmap -j 15 -F <file listing problems> cmd
frogmap --resume <state file>
The state is stored in one file, that can be used to --resume a task that was killed/stopped.
--resume
Lwt
Done.
make the frogmap tool+library:
Usage should be something like
or
or
The state is stored in one file, that can be used to
--resume
a task that was killed/stopped.Lwt