From d9f299b9b2f9b84d423127c499237e6674209fab Mon Sep 17 00:00:00 2001
From: Florian Forster <octo@leeloo.lan.home.verplant.org>
Date: Tue, 13 May 2008 16:50:49 +0200
Subject: [PATCH] contrib/cussh.pl: Add the `identifier' option to the `flush'
 command.

---
 contrib/cussh.pl | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/contrib/cussh.pl b/contrib/cussh.pl
index 6da2856d..48f5e937 100755
--- 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;
-- 
2.11.0