exit/return from main()

git-svn-id: https://mosesdecoder.svn.sourceforge.net/svnroot/mosesdecoder/trunk@1141 1f5c12ca-751b-0410-a591-d2e778427230

1 files changed, 7 insertions, 4 deletions

diff --git a/moses-cmd/src/Main.cpp b/moses-cmd/src/Main.cpp
index 4c5a4deab..1783d1709 100644
--- a/moses-cmd/src/Main.cpp
+++ b/moses-cmd/src/Main.cpp
@@ -155,10 +155,13 @@ int main(int argc, char* argv[])
 	delete ioStream;
 
 	PrintUserTime("End.");
-//This avoids that detructors are called (it can take a long time)
-        exit(EXIT_SUCCESS);
- 
-//       return EXIT_SUCCESS;
+
+	#ifdef HACK_EXIT
+	//This avoids that detructors are called (it can take a long time)
+		exit(EXIT_SUCCESS);
+	#else
+		return EXIT_SUCCESS;
+	#endif
 }
 
 IOStream *GetIODevice(StaticData &staticData)