rendered paste bodyIndex: backends/maxima/maximasession.cpp
===================================================================
--- backends/maxima/maximasession.cpp (Revision 1073142)
+++ backends/maxima/maximasession.cpp (Arbeitskopie)
@@ -150,18 +150,31 @@
{
m_expressionQueue.clear();
}
+
+ kDebug()<<"closing socket";
+ m_maxima->close();
//Give maxima time to clean up
+ kDebug()<<"waiting for maxima to finish";
if(!m_process->waitForFinished(3000))
{
+ kDebug()<<"killed";
m_process->kill();
+ }else
+ {
+ kDebug()<<"finished correctly";
}
- m_process->deleteLater();
+ delete m_process;
+ delete m_helperMaxima;
+
+ kDebug()<<"destroyed maxima";
+
m_expressionQueue.clear();
}
void MaximaSession::newConnection()
{
+ kDebug()<<"new connection";
QTcpSocket* const socket=m_server->nextPendingConnection();
if(m_maxima==0)
{
@@ -514,6 +527,7 @@
void MaximaSession::startHelperProcess()
{
+ kDebug()<<"starting helper";
m_helperMaxima=0;
m_isHelperReady=false;
if(!m_server)