Force cleanup of lingering render jobs (avoid shutdown exceptions)
This commit is contained in:
parent
c5a2a93bda
commit
621173ca39
1 changed files with 6 additions and 0 deletions
|
|
@ -1635,6 +1635,12 @@ public class MapManager {
|
||||||
render_pool.awaitTermination(5, TimeUnit.SECONDS);
|
render_pool.awaitTermination(5, TimeUnit.SECONDS);
|
||||||
} catch (InterruptedException ix) {
|
} catch (InterruptedException ix) {
|
||||||
}
|
}
|
||||||
|
render_pool.shutdownNow(); // Force hard shutdown
|
||||||
|
try {
|
||||||
|
render_pool.awaitTermination(5, TimeUnit.SECONDS);
|
||||||
|
} catch (InterruptedException ix) {
|
||||||
|
}
|
||||||
|
|
||||||
mapman = null;
|
mapman = null;
|
||||||
hdmapman = null;
|
hdmapman = null;
|
||||||
did_start = false;
|
did_start = false;
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue