Adds pid to proc file in wsserver.php, fixes a bug while loading deps in servercall.js with a websocket connection.