From 06b8ac35dc15774ba7d501cfd7064dfa4cf53c07 Mon Sep 17 00:00:00 2001
From: Joseph Mirabel <jmirabel@laas.fr>
Date: Fri, 20 May 2016 13:49:13 +0200
Subject: [PATCH] Do not delete omniORB object.

---
 src/server.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/server.cc b/src/server.cc
index 06e1a74..aa436ed 100644
--- a/src/server.cc
+++ b/src/server.cc
@@ -53,7 +53,6 @@ namespace graphics
     Server::~Server()
     {
       private_->deactivateAndDestroyServers();
-      private_->orb_->shutdown(0);
       delete private_;
       private_ = NULL;
     }
-- 
GitLab