Fix: Made port deleteion more robust. Do not rely on IPs of ports only on names. 50/6150/1
-rw-r--r-- 1190 .dockerignore
-rwxr-xr-x 2040 .gitignore
-rwxr-xr-x 2507 Dockerfile
-rw-r--r-- 1673 Jenkinsfile
-rwxr-xr-x 10140 LICENSE
-rwxr-xr-x 6536 README.md
drwxr-xr-x - ansible
drwxr-xr-x - devops-stages
lrwxrwxrwx 19 examples -> src/emuvim/examples
drwxr-xr-x - misc
-rwxr-xr-x 1909 setup-cli.py
-rwxr-xr-x 2464 setup.py
drwxr-xr-x - src
drwxr-xr-x - utils