diff options
-rw-r--r-- | NEWS | 1 | ||||
-rwxr-xr-x | mdkapplet | 2 |
2 files changed, 3 insertions, 0 deletions
@@ -1,4 +1,5 @@ - mdkapplet: + o prevent running media manager more than one at a time o run media manager with --no-splash' option and handle "--urpmi-root=$root" o check again after adding update media @@ -311,6 +311,8 @@ sub harvester { logIt($state->{log}); go2State($state->{status}); } + } elsif ($media_manager_pid && $media_manager_pid == $childpid) { + undef $media_manager_pid; } push @pids, $childpid; } while $childpid > 0; |