diff --git a/utils/delete_image.in b/utils/delete_image.in index 0b38d0a500d6dc73597ffa48287e716f3c0989b3..e810cd3424d9ed4bb86d517322751c88ea02808a 100644 --- a/utils/delete_image.in +++ b/utils/delete_image.in @@ -137,6 +137,11 @@ if ($?) { fatal("Could not kill running frisbee for $imageid!"); } +if ($purge && $image->pid() eq TBOPSPID()) { + $purge = 0; + print STDERR "Ignoring purge option for system image. \n"; +} + # # Since admins will often delete image descriptors for users, we are # setuid root. Flip for deleting the image file.