diff options
Diffstat (limited to 'move/tools')
| -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 6275578ff..5c770c561 100755 --- a/move/tools/busy-files +++ b/move/tools/busy-files @@ -13,7 +13,7 @@ my @l = map { push @l, grep { $_ } map { (split)[5] } map { cat_("/proc/$_/maps") } @pids; if ($ARGV[0] eq '--totem') { - @l = grep { m!/image(_boot)?/! } @l; + @l = grep { m!/image(_boot|_raw)?/! } @l; $ARGV[0] = '--server'; } foreach (uniq @l) { |