diff options
| -rwxr-xr-x | move/tools/busy-files | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/move/tools/busy-files b/move/tools/busy-files index 5356b3684..a49b882c2 100755 --- a/move/tools/busy-files +++ b/move/tools/busy-files @@ -14,7 +14,7 @@ push @l, grep { $_ } map { (split)[5] } map { cat_("/proc/$_/maps") } @pids; foreach (uniq @l) { if ($ARGV[0] eq '--server') { - s!/image_(always|boot)!/tmp/live_tree!; + s!/image_(always|boot|totem)!/tmp/live_tree!; s!/image_raw/live_tree!/tmp/live_tree!; } print "$_\n"; |