mirror of
https://github.com/YunoHost/yunohost.git
synced 2024-09-03 20:06:10 +02:00
Don't try to patch folders
This commit is contained in:
parent
7cf64bb1c7
commit
fb01deb990
1 changed files with 5 additions and 0 deletions
|
@ -2197,5 +2197,10 @@ def _patch_php5(app_folder):
|
|||
files_to_patch.append("%s/manifest.json" % app_folder)
|
||||
|
||||
for filename in files_to_patch:
|
||||
|
||||
# Ignore non-regular files
|
||||
if not os.path.isfile(filename):
|
||||
continue
|
||||
|
||||
c = "sed -i -e 's@/etc/php5@/etc/php/7.0@g' -e 's@php5@php7.0@g' %s" % filename
|
||||
os.system(c)
|
||||
|
|
Loading…
Add table
Reference in a new issue