From e31b4f2b0218075075ed5add76215df6958ec649 Mon Sep 17 00:00:00 2001
From: Andrew Eikum <aeikum@codeweavers.com>
Date: Fri, 25 May 2018 11:24:12 -0500
Subject: [PATCH] proton: Fix checking environment overrides

---
 proton | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/proton b/proton
index bdd1d663..4dd3d2c5 100755
--- a/proton
+++ b/proton
@@ -54,7 +54,7 @@ def check_environment(env_name, config_name):
     if not env_name in os.environ:
         return
     if os.environ[env_name] == "0" or len(os.environ[env_name]) == 0:
-        config_opts.remove(config_name)
+        config_opts.discard(config_name)
     else:
         config_opts.add(config_name)