git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

Commit 4a31e499 authored by mmn's avatar mmn

Clarify that notices are also deleted with nukefile.php

parent 6026dcae
......@@ -54,7 +54,7 @@ if (!have_option('y', 'yes')) {
} catch (Exception $e) {
$filename = '(remote file or no filename)';
}
print "About to PERMANENTLY delete file ($filename) ({$file->id}). Are you sure? [y/N] ";
print "About to PERMANENTLY delete file ($filename) with id=={$file->id}) AND its related notices. Are you sure? [y/N] ";
$response = fgets(STDIN);
if (strtolower(trim($response)) != 'y') {
print "Aborting.\n";
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment