Currently SeqPipe use "date.pid" as unique ID for each run. However, when a
server restart or the maximum pid is not big enough, pid will restart from 1,
which may occasionally lead to duplicated using the same ID.
It should be better to make SeqPipe check if the ID has been used or not. If it
is, try add suffix to the directory name.
Original issue reported on code.google.com by pku.ya...@gmail.com on 22 Dec 2012 at 4:21
Original issue reported on code.google.com by
pku.ya...@gmail.com
on 22 Dec 2012 at 4:21