opencog/opencog — pull request #189 by linas (2013-05-17 14:28:22+00:00)
Title: Fix python shell, fix crash on exit

Two fixes:
1) pyshell would not start
2) PyFinalize() would crash

also misc cleanup