On Sun, Feb 4, 2018 at 10:41 PM, Leung Man Hin <manhinle...@gmail.com>
wrote:

>
>
>> Why would that cause a seg-fault?  I'm guessing there needs to be some
>> cleanup,
>> some kind of RAII (resource acquisition is initalization) issue here?
>>
>
> ​It seems so, I'll look into this​
>

Oh hang on, I think I know what this is -- its an openpsi issue, I opened a
bug report for it last week.  The openpsi C++ class is declaring some
globals that hold handles.

--linas

> --
> You received this message because you are subscribed to the Google Groups
> "opencog" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to opencog+unsubscr...@googlegroups.com.
> To post to this group, send email to opencog@googlegroups.com.
> Visit this group at https://groups.google.com/group/opencog.
> To view this discussion on the web visit https://groups.google.com/d/
> msgid/opencog/CAMfi0B%2BL0KxM1Y9yssaUaSV6XL0HbW1_
> O1HhUwMu-VYtGM7XFg%40mail.gmail.com
> <https://groups.google.com/d/msgid/opencog/CAMfi0B%2BL0KxM1Y9yssaUaSV6XL0HbW1_O1HhUwMu-VYtGM7XFg%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>
> For more options, visit https://groups.google.com/d/optout.
>



-- 
cassette tapes - analog TV - film cameras - you

-- 
You received this message because you are subscribed to the Google Groups 
"opencog" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to opencog+unsubscr...@googlegroups.com.
To post to this group, send email to opencog@googlegroups.com.
Visit this group at https://groups.google.com/group/opencog.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/opencog/CAHrUA36MJSt7awu7X%3D%3DZ1UKsjwYwu7-78BHBPmHbG%2BFow2Yv5A%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to