From 1f877657443a89e4864b2fd99d4a49acde7bf6b9 Mon Sep 17 00:00:00 2001
From: Joseph Mirabel <jmirabel@laas.fr>
Date: Sat, 25 Jan 2020 17:03:25 +0100
Subject: [PATCH] Fix SEGV at shutdown.
---
src/server-private.cc | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/src/server-private.cc b/src/server-private.cc
index ed69113..7ea8b6b 100644
--- a/src/server-private.cc
+++ b/src/server-private.cc
@@ -33,7 +33,8 @@ namespace gepetto {
Server::~Server ()
{
- delete graphicalInterfaceServantid_;
+ //TODO for a reason I do not understand, this SEGV.
+ //delete graphicalInterfaceServantid_;
}
void
@@ -44,7 +45,8 @@ namespace gepetto {
void Server::deactivateAndDestroyServers()
{
- poa_->deactivate_object(*graphicalInterfaceServantid_);
+ //TODO for a reason I do not understand, this SEGV.
+ //poa_->deactivate_object(*graphicalInterfaceServantid_);
}
void Server::createContext ()
--
GitLab