merge develop

2021-09-07 16:51:30 +02:00
parent a75d200888 b590cec2e3
commit 7b2f3440e9
87 changed files with 2268 additions and 1657 deletions
@@ -194,6 +194,10 @@ int background_system(char *command) {
 void start_background_system(void) {
  int p[2];
  pid_t son;
+
+  if (module_initialized == 1)
+    return;
+
  module_initialized = 1;

  if (pipe(p) == -1) {