From 041e8b13be0d6356fda57d5fff7f7913351e240a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pau=20Fern=C3=A1ndez?= <pau.fernandez@upc.edu>
Date: Thu, 31 Mar 2011 23:05:01 +0200
Subject: [PATCH] Delete compiled file when client disconnects

---
 server.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/server.js b/server.js
index 4f24550..b81ed0d 100644
--- a/server.js
+++ b/server.js
@@ -1,5 +1,6 @@
 
 var express  = require('express');
+var fs = require('fs');
 var app = express.createServer();
 app.use(express.static(__dirname));
 
@@ -47,6 +48,7 @@ var Session = function (params) {
   console.log("Session start: " + id + ' ' + client + ' ' + conn);
   
   conn.addListener('end', function() {
+	 fs.unlink('a.out.' + id);
 	 console.log('Session end:' + id + ' ' + client + ' ' + conn);
   });