I am working on it On Monday, February 5, 2018 at 3:42:21 PM UTC+8, Man Hin Leung wrote: > > 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 <[email protected] > <javascript:>> wrote: > >> >> >> On Sun, Feb 4, 2018 at 10:41 PM, Leung Man Hin <[email protected] >> <javascript:>> 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 [email protected] <javascript:>. >>> To post to this group, send email to [email protected] >>> <javascript:>. >>> 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 [email protected] <javascript:>. >> To post to this group, send email to [email protected] >> <javascript:>. >> 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 [email protected]. To post to this group, send email to [email protected]. 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/d6f66051-5040-42eb-ab1b-f8bfdc0163a4%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
