search

GNS3 / gns3-server

GNS3 server
GNU General Public License v3.0
799 stars 263 forks source link

Fix: deleting resource from resource pool #2293

Closed sylvain121 closed 1 year ago

sylvain121 commented 1 year ago

Fix: also delete resource from resources table. If not we cannot add this resource to another pool

grossmj commented 1 year ago

Thanks, I have adapted your fix in https://github.com/GNS3/gns3-server/commit/a27db6b4eb1f8134843ecdc9bf2bab5f4853694c

There is no need to merge this PR anymore.