diff options
author | René 'Necoro' Neumann <necoro@necoro.net> | 2009-02-09 17:49:16 +0100 |
---|---|---|
committer | René 'Necoro' Neumann <necoro@necoro.net> | 2009-02-09 17:49:16 +0100 |
commit | d6cbb904419bb5e5c0efcf2bf6cef40f52be94e6 (patch) | |
tree | e22767bf337e0a6f33bf0f658cb31784db2c0637 /portato/backend | |
parent | bc41d3c03f0ba278e08bc0d828d769148fc617c1 (diff) | |
download | portato-d6cbb904419bb5e5c0efcf2bf6cef40f52be94e6.tar.gz portato-d6cbb904419bb5e5c0efcf2bf6cef40f52be94e6.tar.bz2 portato-d6cbb904419bb5e5c0efcf2bf6cef40f52be94e6.zip |
Change 'split(" ")' to single 'split()' to also catch multiple spaces and tabs
Diffstat (limited to 'portato/backend')
-rw-r--r-- | portato/backend/flags.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/portato/backend/flags.py b/portato/backend/flags.py index 2b6b266..c80bf8d 100644 --- a/portato/backend/flags.py +++ b/portato/backend/flags.py @@ -381,7 +381,7 @@ def write_use_flags (): while i < line: # stop at the given line lines.append(f.readline()) i += 1 - l = f.readline().split(" ") + l = f.readline().split() # delete or insert if delete: @@ -396,7 +396,7 @@ def write_use_flags (): file_cache[file] = lines else: # in cache - l = file_cache[file][line-1].split(" ") + l = file_cache[file][line-1].split() if delete: remove(flag, l) else: |