Match process name case-insensitive

diff --git a/Bucardo.pm b/Bucardo.pm
index 37919ecb00854b3e3649da15f5d3ef690f54cc89..d2074be63f7cf54e270907895c46bea4c43d9667 100644 (file)
--- a/Bucardo.pm
+++ b/Bucardo.pm
@@ -7202,7 +7202,7 @@ sub kill_bucardo_pid {
         if ($info !~ /^COMMAND/) {
             $self->glog(qq{Could not determine ps information for pid $pid}, LOG_VERBOSE);
         }
-        elsif ($info !~ /\bbucardo\s+/o) {
+        elsif ($info !~ /\bbucardo\s+/oi) {
             $self->glog(qq{Will not kill process $pid: ps args is not 'Bucardo', got: $info}, LOG_TERSE);
             return 0;
         }