| commit | 3cd8547a2018ada88a4303067a2aa15eadc17f39 | [log] [tgz] |
|---|---|---|
| author | Ben Laurie <ben@links.org> | Fri Sep 20 16:52:07 2013 +0100 |
| committer | Ben Laurie <ben@links.org> | Fri Sep 20 16:52:07 2013 +0100 |
| tree | 6bf31c8586852039343badf78f59dcfed94f82ca | |
| parent | 7eef2b0cd712d987b0bd556ad8ec637332ff32fb [diff] |
Mix time into the pool to avoid repetition of the Android duplicated PID problem.