Various smaller bug-fixes (see details)

- Pass -DPHP_CONFIG=/usr/bin/zts-php-config for custom php-config
- More php bug fixes
- Fixed nasty "parse from string" bug
- Reindented source code

1 files changed, 7 insertions, 4 deletions

diff --git a/src/uscxml/server/InterpreterServlet.h b/src/uscxml/server/InterpreterServlet.h
index 7235466..72f2f67 100644
--- a/src/uscxml/server/InterpreterServlet.h
+++ b/src/uscxml/server/InterpreterServlet.h
@@ -6,10 +6,11 @@
 namespace uscxml {
 
 class Interpreter;
-	
+
 class InterpreterServlet : public HTTPServlet {
 public:
 	InterpreterServlet(Interpreter* interpreter);
+	virtual ~InterpreterServlet() {}
 	virtual void httpRecvRequest(const HTTPServer::Request& req);
 
 	std::string getPath() {
@@ -21,7 +22,9 @@ public:
 	void setURL(const std::string& url) {
 		_url = url;
 	}
-	bool canAdaptPath() { return false; }
+	bool canAdaptPath() {
+		return false;
+	}
 
 	std::map<std::string, HTTPServer::Request>& getRequests() {
 		return _requests;
@@ -32,14 +35,14 @@ public:
 
 protected:
 	Interpreter* _interpreter;
-	
+
 	tthread::recursive_mutex _mutex;
 	std::map<std::string, HTTPServer::Request> _requests;
 	std::string _path;
 	std::string _url;
 
 };
-	
+
 }