x11-common ssh-agent startup script fails to restart ssh-agent
For some reason, on my Ubuntu 18.04.1 desktop, the environment variables are not cleared when logging out back to GDM3, so when I log back in, the ssh-agent script thinks that it does not need to restart ssh-agent.
I am attaching a patch which updates the script, albeit in not exactly the best format, to detect the ssh-agent using the PID environment variable, and restart it if it's not still running.