Adding debian version 20231031.debian/20231031debian

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 21 insertions, 0 deletions

diff --git a/debian/patches/timer.pl.diff b/debian/patches/timer.pl.diff
new file mode 100644
index 0000000..2b572fc
--- /dev/null
+++ b/debian/patches/timer.pl.diff
@@ -0,0 +1,21 @@
+Description: "timer.pl: add repeat rate to /timer list"
+Forwarded: not-needed
+Author: "Christoph Berg <myon@debian.org>"
+Last-Update: 2006-07-22
+--- a/scripts/timer.pl
++++ b/scripts/timer.pl
+@@ -144,11 +144,12 @@
+ command_bind 'timer list' => sub {
+     print( CRAP "Active timers:" );
+     foreach my $name ( keys %timers ) {
++        my $msg = "$name = $timers{$name}->{'command'} every $timers{$name}->{'interval'}s";
+         if ( $timers{$name}->{repeat} == -1 ) {
+-            print( CRAP "$name = $timers{$name}->{'command'} (until stopped)");
++            print( CRAP "$msg (until stopped)");
+         }
+         else {
+-            print( CRAP "$name = $timers{$name}->{'command'} ($timers{$name}->{'repeat'} repeats left)" );
++            print( CRAP "$msg ($timers{$name}->{'repeat'} repeats left)" );
+         }
+     }
+     print( CRAP "End of /timer list" );