Skip to content
Snippets Groups Projects
Unverified Commit 9d8e8098 authored by Manuel Hutter's avatar Manuel Hutter
Browse files

Don't try to remove server if it does not exist

When a server does not exist anymore (eg if it has been removed manually
before removing it from docker-machine), gracefully handle the situation
and ensure the accompanying SSH-Key is removed aswell.

Fixes: #18
parent ce6fd6f9
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment