| commit | 73520d57ebfb1272d009a070191e749caebf64ae | [log] [tgz] |
|---|---|---|
| author | Giampaolo Rodola' <g.rodola@gmail.com> | Wed Dec 14 13:34:26 2011 +0100 |
| committer | Giampaolo Rodola' <g.rodola@gmail.com> | Wed Dec 14 13:34:26 2011 +0100 |
| tree | 1a8febdb66d40004af7a2668bd5b7d1249602cf5 | |
| parent | a23d65ccfe3b8f618bf3dde4d0d27895e764367e [diff] |
Fix #8684: make sched.scheduler class thread-safe