contrib/cussh.pl: Add the `identifier' option to the `flush' command.

diff --git a/contrib/cussh.pl b/contrib/cussh.pl
index 6da2856d0d8b307387788da48aff2da58cf6353d..48f5e9373e12dba530c0ff1a6a2292effd5ded39 100755 (executable)
--- a/contrib/cussh.pl
+++ b/contrib/cussh.pl
@@ -223,6 +223,15 @@ sub flush {
                        elsif ($option eq "timeout") {
                                $args{"timeout"} = $value;
                        }
+                       elsif ($option eq "identifier") {
+                               my $id = getid (\$value);
+                               if (!$id)
+                               {
+                                       print STDERR "Not a valid identifier: \"$value\"\n";
+                                       next;
+                               }
+                               push @{$args{"identifier"}}, $id;
+                       }
                        else {
                                print STDERR "Invalid option \"$option\".\n";
                                return;