From 63f9e225f42dd27ded0461844443739cccd21ed3 Mon Sep 17 00:00:00 2001 From: Achim Gsell Date: Fri, 17 Nov 2023 15:50:06 +0100 Subject: [PATCH] modulecmd: ununsed function die_is_blocked() removed --- Pmodules/modulecmd.bash.in | 6 ------ 1 file changed, 6 deletions(-) diff --git a/Pmodules/modulecmd.bash.in b/Pmodules/modulecmd.bash.in index 0866db6..2c16bd0 100644 --- a/Pmodules/modulecmd.bash.in +++ b/Pmodules/modulecmd.bash.in @@ -273,12 +273,6 @@ die_removing_collection_failed(){ "cannot remove collection" "$1" } -die_is_blocked(){ - std::die 3 "%s %s: %s -- %s" \ - "${CMD}" "${subcommand}" \ - "module is blocked on this system" "$1" -} - get_module_config(){ : " Read module configuration.