How to remove PID of defunct notebook server?
Hi Sage users
It looks like a system crash left a lock file for a sage notebook server. I cannot run the notebook: Another Sage Notebook server is running, PID 2128. Opening web browser at http://localhost:8080/ ...
Does anyone know where this lock file is or what the procedure is to clear up this error? I have no PID 2128 running at the time this error occurs. Hence I think it is some lock file or ressource that needs to be freed or deleted. Thanks Pat