Math-Bridge Trouble shooting

1. Joint Math-Bridge Training
Program
Michael Dietrich (DFKI)
Math-Bridge Trouble-Shooting
10.07.2015 Saarbrücken

2. General
If you have problems with system
Consult Log File
• Terminal _MB_ROOT_/logs/activemath.log(.*)
• Eclipse: Log File
Clean Project & Restart
• Termin: in _MB_ROOT_/ type bin/ant cleanBuild
• Eclipse: Project Clean

3. Adress already in use
Problem: Adress already in use
Cause: Another program listens to port 8080
Solution: set new port in conf/server.xml

4. Derby Database Locked
Problem: Fatal Error Derby Database locked
Solution: delete lock files under _Math-Bridge_Root_/data/db
Lockfile are from type .lck

5. Parse Error when loading view
Problem: When loading a page, a Parse Error Message is displayed in the browser
Cause: Math-Bridge uses X-HTML. If Parse Errors occur, XML structure is invalid
Solution: Ensure XML structure is valid
One way: install Firebug Browser extension
Search for Command that causes parse error in Net Tab
Open its values by clicking
Copy Response in an editor with XML checking capabilities
Check which error occurs
Fix in corresponding VM file

6. User cannot login
Problem: User cannot login after publishing a book
Cause: Error in Path resolution for dtd file
Solution: copy dtd folder outside the system
Will be fixed