public/warp4j
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases 3 Wiki Activity

fix: Java archive recognition

Browse Source
This commit is contained in:
Serge Guzik 2019-02-13 13:05:55 +02:00
parent 6f18b74ac6
commit 88ef34cc6b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
warp4j
View File

@ -218,7 +218,7 @@ if [[ ! -e $JAR ]]; then
fi fi
# checking file is actually java archive # checking file is actually java archive
if [[ $(file $JAR) != *"Zip"* ]] || if [[ $(file $JAR) != *"archive"* ]] || # it could be "Java archive data" or "Zip archive data"
[[ $JAR_EXTENSION_LOWERCASE != "jar" ]]; then [[ $JAR_EXTENSION_LOWERCASE != "jar" ]]; then
echo "Error: File \"$JAR\" is not a java archive" >&2 echo "Error: File \"$JAR\" is not a java archive" >&2
exit 1 exit 1