Merge pull request #169 from webknjaz/bugfixes/167-curl-err-52

🚨 Don't show a warning on faulty network
This commit is contained in:
streetturtle 2020-07-14 10:34:57 -04:00 committed by GitHub
commit 3b7311a948
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions

View File

@ -393,7 +393,9 @@ local function worker(args)
local function update_widget(widget, stdout, stderr)
if stderr ~= '' then
if not warning_shown then
show_warning(stderr)
if stderr ~= 'curl: (52) Empty reply from server' then
show_warning(stderr)
end
warning_shown = true
widget:is_ok(false)
tooltip:add_to_object(widget)