mirrors/DeDRM_tools
mirrors/DeDRM_tools
1
0
Fork 0
mirror of https://github.com/noDRM/DeDRM_tools.git synced 2025-01-16 21:00:38 +06:00
Code Issues Projects Releases Wiki Activity

Identity is not the same thing as equality in Python

Browse Source
This commit is contained in:
Christian Clauss 2020-01-20 13:54:20 +01:00 committed by GitHub
parent 616548a9a8
commit 1fd972ee17
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dedrm_src/mobidedrm.py
View File

@ -524,7 +524,7 @@ def cli_main():
else: else:
infile = argv[1] infile = argv[1]
outfile = argv[2] outfile = argv[2]
if len(argv) is 4: if len(argv) == 4:
pidlist = argv[3].split(',') pidlist = argv[3].split(',')
else: else:
pidlist = [] pidlist = []