diff options
| -rw-r--r-- | deploy/common.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/deploy/common.py b/deploy/common.py index 07ad54372..51b70fe46 100644 --- a/deploy/common.py +++ b/deploy/common.py @@ -140,7 +140,7 @@ def warn(message): def check_file_exists(file_path): if not os.path.dirname(file_path): file_path = '%s/%s' % (CWD, file_path) - if not os.path.isfile(file_path): + if not os.access(file_path, os.R_OK): err('ERROR: File %s not found\n' % file_path) |