diff options
| author | pixel <pixel> | 2006-10-28 16:42:19 +0000 |
|---|---|---|
| committer | pixel <pixel> | 2006-10-28 16:42:19 +0000 |
| commit | 8fdf9104af7c10a778e4ed6bd0c501c7d2087cdd (patch) | |
| tree | d309b4932810ab6e320a287dcd1a24e5e27a15ad /lib/Main.cc | |
| parent | f7f07a91a9a033698b338b21e4a3974da4b518d9 (diff) | |
Task manager now has timeout support.
Diffstat (limited to 'lib/Main.cc')
0 files changed, 0 insertions, 0 deletions