From 3c434c48f7beba21ba452f8ceebb947f96507b14 Mon Sep 17 00:00:00 2001 From: Achim Gsell Date: Thu, 9 Jun 2022 12:03:54 +0200 Subject: [PATCH] modulecmd: bugfix in module-addgroup() Type of overlay is now stored with key 'overlay_name:type'. The old method was still used. --- Pmodules/libmodules.tcl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Pmodules/libmodules.tcl b/Pmodules/libmodules.tcl index 7a82ba3..74f8752 100644 --- a/Pmodules/libmodules.tcl +++ b/Pmodules/libmodules.tcl @@ -81,7 +81,8 @@ proc module-addgroup { group } { set overlays_to_add {} foreach overlay $::UsedOverlays { lappend overlays_to_add $overlay - set ol_type [lindex [split $::OverlayInfo($overlay) ":"] 0] + set ol_type $::OverlayInfo($overlay:type) + debug "ol_type=$ol_type" if { [string compare $ol_type $::ol_replacing] == 0 } { break }