Don't call remove_process in process_bare_destroy
This does many things, we only care obout the unlisting.
diff --git a/proc.c b/proc.c
index 51833fe..54afbe0 100644
--- a/proc.c
+++ b/proc.c
@@ -49,6 +49,7 @@
#endif
static void add_process(struct Process *proc, int was_exec);
+static void unlist_process(struct Process *proc);
static int
process_bare_init(struct Process *proc, const char *filename,
@@ -96,7 +97,7 @@
dict_clear(proc->breakpoints);
if (!was_exec) {
free(proc->filename);
- remove_process(proc);
+ unlist_process(proc);
}
}