Handles interface alerts with ids

The Interface Alerts toggle button was not working. This
commit fixes this bug as well.
This commit is contained in:
Simone Mainardi 2016-03-16 19:53:13 +01:00
parent f27188064b
commit d89cde0409
3 changed files with 11 additions and 13 deletions

View file

@ -961,6 +961,7 @@ function purifyInterfaceName(interface_name)
-- io.write(debug.traceback().."\n")
interface_name = string.gsub(interface_name, "@", "_")
interface_name = string.gsub(interface_name, ":", "_")
interface_name = string.gsub(interface_name, "/", "_")
return(interface_name)
end