1
0
mirror of https://github.com/GNS3/gns3-server synced 2024-10-10 09:58:55 +00:00
gns3-server/gns3server/controller/symbols.py

107 lines
3.7 KiB
Python
Raw Normal View History

#!/usr/bin/env python
#
# Copyright (C) 2016 GNS3 Technologies Inc.
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program. If not, see <http://www.gnu.org/licenses/>.
import os
from ..utils.get_resource import get_resource
2016-08-17 09:58:19 +00:00
from ..utils.picture import get_size
2016-06-28 17:58:57 +00:00
from ..config import Config
import logging
log = logging.getLogger(__name__)
class Symbols:
"""
Manage GNS3 symbols
"""
def __init__(self):
try:
self.list()
except OSError: # The error will be raised and forward later
pass
2016-08-17 09:58:19 +00:00
# Keep a cache of symbols size
self._symbol_size_cache = {}
def list(self):
self._symbols_path = {}
symbols = []
if get_resource("symbols"):
for root, _, files in os.walk(get_resource("symbols")):
for filename in files:
if filename.startswith('.'):
continue
symbol_file = os.path.relpath(os.path.join(root, filename), get_resource("symbols"))
symbol_id = ':/symbols/' + symbol_file
symbols.append({
'symbol_id': symbol_id,
'filename': symbol_file,
'builtin': True,
})
self._symbols_path[symbol_id] = os.path.join(root, filename)
2016-06-28 19:15:22 +00:00
directory = self.symbols_path()
2016-06-28 17:58:57 +00:00
if directory:
for root, _, files in os.walk(directory):
for filename in files:
if filename.startswith('.'):
continue
symbol_file = os.path.relpath(os.path.join(root, filename), directory)
symbols.append({
'symbol_id': symbol_file,
'filename': symbol_file,
'builtin': False,
})
self._symbols_path[symbol_file] = os.path.join(root, filename)
2016-06-28 17:58:57 +00:00
2016-06-28 16:17:48 +00:00
symbols.sort(key=lambda x: x["filename"])
return symbols
2016-06-28 19:15:22 +00:00
def symbols_path(self):
2016-06-28 17:58:57 +00:00
directory = os.path.expanduser(Config.instance().get_section_config("Server").get("symbols_path", "~/GNS3/symbols"))
if directory:
try:
os.makedirs(directory, exist_ok=True)
except OSError as e:
log.error("Could not create symbol directory '{}': {}".format(directory, e))
return None
2016-06-28 17:58:57 +00:00
return directory
def get_path(self, symbol_id):
2016-09-15 16:21:39 +00:00
try:
return self._symbols_path[symbol_id]
# Symbol not found, let's refresh the cache
2016-09-15 16:21:39 +00:00
except KeyError:
try:
self.list()
return self._symbols_path[symbol_id]
except (OSError, KeyError):
log.warning("Could not retrieve symbol '{}'".format(symbol_id))
symbols_path = self._symbols_path
return symbols_path[":/symbols/computer.svg"]
2016-08-17 09:58:19 +00:00
def get_size(self, symbol_id):
try:
return self._symbol_size_cache[symbol_id]
except KeyError:
with open(self.get_path(symbol_id), "rb") as f:
res = get_size(f.read())
self._symbol_size_cache[symbol_id] = res
return res