--- cpp.orig/src/slice2java/Main.cpp 2011-06-15 21:43:58.000000000 +0200 +++ cpp/src/slice2java/Main.cpp 2012-09-10 11:43:58.000000000 +0200 @@ -23,7 +23,7 @@ using namespace Slice; namespace { -IceUtil::Mutex* mutex = 0; +IceUtil::Mutex* mtx = 0; bool interrupted = false; class Init @@ -32,13 +32,13 @@ public: Init() { - mutex = new IceUtil::Mutex; + mtx = new IceUtil::Mutex; } ~Init() { - delete mutex; - mutex = 0; + delete mtx; + mtx = 0; } }; @@ -49,7 +49,7 @@ Init init; void interruptedCallback(int signal) { - IceUtilInternal::MutexPtrLock sync(mutex); + IceUtilInternal::MutexPtrLock sync(mtx); interrupted = true; } @@ -356,7 +356,7 @@ compile(int argc, char* argv[]) } { - IceUtilInternal::MutexPtrLock sync(mutex); + IceUtilInternal::MutexPtrLock sync(mtx); if(interrupted) {