|
|
@ -237,7 +237,7 @@ function UpdatePlugin()
|
|
|
|
raw_return = nil
|
|
|
|
raw_return = nil
|
|
|
|
|
|
|
|
|
|
|
|
if status == 200 then
|
|
|
|
if status == 200 then
|
|
|
|
raw_version = string.match(page, '%s+version="([0-9%.]+)"')
|
|
|
|
raw_version = string.match(page, '%s%s+version="([0-9%.]+)"')
|
|
|
|
print("Raw version: " .. raw_version)
|
|
|
|
print("Raw version: " .. raw_version)
|
|
|
|
print("Plugin version: " .. plugin_version)
|
|
|
|
print("Plugin version: " .. plugin_version)
|
|
|
|
end
|
|
|
|
end
|
|
|
@ -249,7 +249,7 @@ function UpdatePlugin()
|
|
|
|
local file = io.open(plugin_file, "w")
|
|
|
|
local file = io.open(plugin_file, "w")
|
|
|
|
file:write(page)
|
|
|
|
file:write(page)
|
|
|
|
file:close()
|
|
|
|
file:close()
|
|
|
|
LoadPlugin(plugin_file)
|
|
|
|
ReloadPlugin(GetPluginID())
|
|
|
|
end
|
|
|
|
end
|
|
|
|
|
|
|
|
|
|
|
|
raw_version = nil
|
|
|
|
raw_version = nil
|
|
|
|