| commit | 13f7f24d15a8968328128771803c45394b129ea1 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat May 21 22:03:38 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sat May 21 22:03:38 2011 +0000 |
| tree | 05eb0b7adc281583364cdf57463845e9928defbc | |
| parent | 736e4724d56adb3fb09b06c6504e8309d149e7a6 [diff] |
try to make safe for concurrent access after I saw AIOOBE triggered from _unopenedTypes.remove(type)