search

sorear / smetamath-rs

sorear's Metamath system engine - version 3 Rust
Apache License 2.0
22 stars 6 forks source link

Thread queue: signal threads to exit when Executor goes out of scope #16

Open sorear opened 8 years ago

sorear commented 8 years ago

The current design will leak threads if you instantiate multiple Database objects.