[mapguide-internals] Strange error in Mapguide 2.5.2

[Gabriele Monfardini]

Mapguide 2.5.2 @ centos 6

I've launched mapguide interactively.
Suddenly it crashes, with the following error:

15d375d0-7c65-11e3-8000-5254006ae79a_en_MTI3LjAuMC4x0AFC0AFB0AFA.db: unable
to flush: No such file or directory
15d375d0-7c65-11e3-8000-5254006ae79a_en_MTI3LjAuMC4x0AFC0AFB0AFA.dbxml:
unable to flush: No such file or directory
mgserver: DbEnvironment.cpp:239: virtual
MgDbEnvironment::~MgDbEnvironment(): Assertion `false' failed.
./mgserver.sh: line 8: 24225 Aborted                ./mgserver run

I set a more aggressive reclaiming of sessions:

   - SessionTimeout = 180
   - SessionTimerInterval = 60

using EnablePingServer on WebLayouts

Apparently the server cannot find a session that is trying to wipe.
The relevant code is the following

http://trac.osgeo.org/mapguide/browser/branches/2.5/MgDev/Server/src/Services/Resource/DbEnvironment.cpp

229 MgDbEnvironment::~MgDbEnvironment()
230 {
231    if (m_opened)
232    {
233        try
234        {
235            m_dbEnv.close(0);
236        }
237        catch (...)
238        {
239            assert(false);
240        }
241    }
242 }

Why is this error not logged?
Should I open a bug?

Regards,

Gabriele Monfardini