[projects/pld-builder.new] avoid ValueError

[glen]

commit 56c8c449240ad768ebaeba9ff3ee3aed42f53137
Author: Elan Ruusamäe <glen at delfi.ee>
Date:   Mon Sep 28 22:38:49 2015 +0300

    avoid ValueError

 PLD_Builder/request.py | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)
---
diff --git a/PLD_Builder/request.py b/PLD_Builder/request.py
index 6758f35..5ec56f7 100644
--- a/PLD_Builder/request.py
+++ b/PLD_Builder/request.py
@@ -356,7 +356,11 @@ class Batch:
         php_version = php_name_to_ver(self.defines['php_suffix'])
 
         # remove current php version
-        php_versions.remove(php_version)
+        try:
+            php_versions.remove(php_version)
+        except ValueError:
+            log.notice("Attempt to remove inexistent key '%s' from %s" % (php_version, php_versions))
+            pass
 
         # map them to poldek ignores
         # always ignore hhvm
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/projects/pld-builder.new.git/commitdiff/56c8c449240ad768ebaeba9ff3ee3aed42f53137