OK will see if it still crashes once that's fixed:
https://github.com/opencog/opencog/issues/2991


On Mon, Feb 5, 2018 at 3:27 PM, Linas Vepstas <linasveps...@gmail.com>
wrote:

>
>
> 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/ms
>> gid/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
> <https://groups.google.com/d/msgid/opencog/CAHrUA36MJSt7awu7X%3D%3DZ1UKsjwYwu7-78BHBPmHbG%2BFow2Yv5A%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>
> For more options, visit https://groups.google.com/d/optout.
>

-- 
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/CAMfi0BLRkcEM_qYb2%2Bv5H-6p_%3D47ERjDRh6i%2B2tvt4SqXOYhdw%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to