Grab v2.3.2-alpha

Better performance.
Fix a small bug in grab add
This commit is contained in:
Kirigaya Kazuto 2018-11-30 03:14:49 +08:00
parent 56c48d1ed6
commit 2ed23d6422

View File

@ -8,7 +8,7 @@ local serialization=require('serialization')
local event=require('event') local event=require('event')
local args,options=shell.parse(...) local args,options=shell.parse(...)
local grab_version="Grab v2.3.1-alpha" local grab_version="Grab v2.3.2-alpha"
local valid_options={ local valid_options={
["cn"]=true, ["help"]=true, ["version"]=true, ["proxy"]=true, ["skip_install"]=true ["cn"]=true, ["help"]=true, ["version"]=true, ["proxy"]=true, ["skip_install"]=true
@ -84,7 +84,7 @@ local function download(url)
elseif(ret==true) then elseif(ret==true) then
break break
else else
local ev=event.pull(0.5,"interrupted") local ev=event.pull(0.05,"interrupted")
if(ev~=nil) then if(ev~=nil) then
handle.close() handle.close()
return false,"Interrupted from terminal." return false,"Interrupted from terminal."
@ -249,6 +249,7 @@ end
if(args[1]=="add") then if(args[1]=="add") then
if(#args<2) then if(#args<2) then
print("Nothing to add.") print("Nothing to add.")
return
end end
if(not check_db()) then if(not check_db()) then