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