diff options
Diffstat (limited to 'tools/memory_inspector')
| -rw-r--r-- | tools/memory_inspector/memory_inspector/frontends/background_tasks.py | 8 | ||||
| -rw-r--r-- | tools/memory_inspector/memory_inspector/frontends/www_server.py | 1 |
2 files changed, 1 insertions, 8 deletions
diff --git a/tools/memory_inspector/memory_inspector/frontends/background_tasks.py b/tools/memory_inspector/memory_inspector/frontends/background_tasks.py index 43e5f66..923fcf0 100644 --- a/tools/memory_inspector/memory_inspector/frontends/background_tasks.py +++ b/tools/memory_inspector/memory_inspector/frontends/background_tasks.py @@ -51,13 +51,6 @@ def Get(task_id): return _tasks.get(task_id) -def TerminateAll(): - for task in _tasks.itervalues(): - if task.is_alive(): - task.terminate() - _tasks.clear() - - def TracerMain_(log, storage_path, backend_name, device_id, pid, interval, count, trace_native_heap): """Entry point for the background periodic tracer task.""" @@ -140,6 +133,7 @@ class BackgroundTask(threading.Thread): target=entry_point, args=((self._log_queue,) + args), # Just propagate all args. kwargs=kwargs) + self.daemon = True def run(self): try: diff --git a/tools/memory_inspector/memory_inspector/frontends/www_server.py b/tools/memory_inspector/memory_inspector/frontends/www_server.py index c79112f..f8368fb 100644 --- a/tools/memory_inspector/memory_inspector/frontends/www_server.py +++ b/tools/memory_inspector/memory_inspector/frontends/www_server.py @@ -758,4 +758,3 @@ def Start(http_port): httpd.serve_forever() except KeyboardInterrupt: pass # Don't print useless stack traces when the user hits CTRL-C. - background_tasks.TerminateAll() |