Closing your VSCode connection

Note: This is meant for people that used the SSH connection through VSCode. If you used the terminal directly, you can skip this part.

The procedure is the following:

1. Before closing VsCode, look in your VsCode integrated terminal to determine which login node you are connected to. It should be something like login01, login02.
2. Open a new terminal on your computer and login to that specific login node using ssh <your-net-id>@login0X.delftblue.tudelft.nl where X is the number of the login node.
3. Close the VSCode window.
4. Run top -u $USER in the ssh terminal to see the processes you are running.
5. Find the code-<something> process and note its PID. If it is not present, you can close the terminal. And you are done!
6. If it is present. Kill it by pressing k followed by the <PID>, the process ID of the code-<something> process, and then enter. You may now close your terminal