mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-05 15:00:30 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

sed -i 's/!= None/is not None/g' *.py

Browse source
This commit is contained in:
Daniel Martí 2013-10-13 00:03:57 +02:00
parent 47cad8fca7
commit ded019291e
2 changed files with 8 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

4
fdroidserver/stats.py
View file

@ -100,9 +100,9 @@ def main():
sys.exit(1)
finally:
#Disconnect
if ftp != None:
if ftp is not None:
ftp.close()
if ssh != None:
if ssh is not None:
ssh.close()
# Process logs