diff options
-rw-r--r-- | Master/tlpkg/TeXLive/TLWinGoo.pm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/TeXLive/TLWinGoo.pm b/Master/tlpkg/TeXLive/TLWinGoo.pm index 2c9e28273e5..63dc07c102a 100644 --- a/Master/tlpkg/TeXLive/TLWinGoo.pm +++ b/Master/tlpkg/TeXLive/TLWinGoo.pm @@ -138,6 +138,7 @@ BEGIN { $Registry->FixSzNulls(1); require Win32::Shortcut; Win32::Shortcut->import( qw( SW_SHOWNORMAL SW_SHOWMINNOACTIVE ) ); + require Time::HiRes; } } @@ -598,6 +599,7 @@ sub reg_delete_recurse { foreach my $v (keys %$child) { if ($v =~ '^/') { # value delete $child->{$v}; + Time::HiRes::usleep(20000); } else { # subkey return 0 unless reg_delete_recurse ($child, $v); } @@ -605,6 +607,7 @@ sub reg_delete_recurse { #delete $child->{'/'}; } delete $parent->{$childname}; + Time::HiRes::usleep(20000); return 1; } |