<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
    <title></title>
  </head>
  <body bgcolor="#ffffff" text="#000000">
    On 01/19/2011 07:28 AM, Arno Teigseth wrote:
    <blockquote cite="mid:1295418528.3991.58.camel@arno-work"
      type="cite">
      <pre wrap="">Hi all

I know, it's LanguageTool's fault. I'm developing some rules, and
running 1-3 dev.

When right-clicking a word in trouble (red/blue underline), I get
suggestions to how to fix it.

But when I right-click a word that is just fine, then Libreoffice
crashes entirely with the following to the terminal:

#
# A fatal error has been detected by the Java Runtime Environment:
#
#  SIGSEGV (0xb) at pc=0x004a1aea, pid=6220, tid=3063699680
#
# JRE version: 6.0_22-b04
# Java VM: Java HotSpot(TM) Client VM (17.1-b03 mixed mode, sharing
linux-x86 )
# Problematic frame:
# C  [libc.so.6+0x72aea]  strcmp+0xa
#
# An error report file with more information is saved as:
# /tmp/hs_err_pid6220.log
#
# If you would like to submit a bug report, please visit:
#   <a class="moz-txt-link-freetext" href="http://java.sun.com/webapps/bugreport/crash.jsp">http://java.sun.com/webapps/bugreport/crash.jsp</a>
#

[error occurred during error reporting , id 0xb]


I'm not worried that LanguageTool crashes, but is it any good that it
also kills Libreoffice, causing data/work loss?

I'd prefer Languagetool to die with a java message or something.

Arno

</pre>
      <pre wrap="">
<fieldset class="mimeAttachmentHeader"></fieldset>
_______________________________________________
LibreOffice mailing list
<a class="moz-txt-link-abbreviated" href="mailto:LibreOffice@lists.freedesktop.org">LibreOffice@lists.freedesktop.org</a>
<a class="moz-txt-link-freetext" href="http://lists.freedesktop.org/mailman/listinfo/libreoffice">http://lists.freedesktop.org/mailman/listinfo/libreoffice</a>
</pre>
    </blockquote>
    <br>
    Could you paste the log file as mentioned in the error message
    please<br>
  </body>
</html>