From 1fd972ee1735ce48b29c257571e6a7786e73e4b6 Mon Sep 17 00:00:00 2001
From: Christian Clauss <cclauss@me.com>
Date: Mon, 20 Jan 2020 13:54:20 +0100
Subject: [PATCH] Identity is not the same thing as equality in Python

---
 dedrm_src/mobidedrm.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dedrm_src/mobidedrm.py b/dedrm_src/mobidedrm.py
index 501aa2d..cc7baf2 100644
--- a/dedrm_src/mobidedrm.py
+++ b/dedrm_src/mobidedrm.py
@@ -524,7 +524,7 @@ def cli_main():
     else:
         infile = argv[1]
         outfile = argv[2]
-        if len(argv) is 4:
+        if len(argv) == 4:
             pidlist = argv[3].split(',')
         else:
             pidlist = []