There was an error while loading. Please reload this page.
1 parent 27ae797 commit 5beb4aaCopy full SHA for 5beb4aa
1 file changed
ada/ada
@@ -1130,7 +1130,7 @@ is_dir () {
1130
# Check whether a path is a directory. If the path doesn't exist, just continue.
1131
# Similar to pathtype(), but that one quits with error if the path doesn't exist.
1132
encoded_path=$(urlencode "$1")
1133
- # Warn the developers not to call is_dir before the auth has not been set up.
+ # Warn the developers not to call is_dir before the auth has been set up.
1134
if [ -z "$curl_authorization" ] ; then
1135
echo 1>&2 "ERROR: calling function is_dir() before authentication has been set up." \
1136
"Please submit an issue for this at https://github.com/sara-nl/SpiderScripts/ ."
0 commit comments