10 May
2011
10 May
'11
8:58 a.m.
Am 10.05.2011 10:09, schrieb Lars Behrens:
or, as a workaround, tell the extension script to ignore it.
For those who need it:
Replacing
if not line.startswith('pstoedit: version'):
with
if not line.startswith(('pstoedit: version', 'Speicherzugriffsfehler', 'Segmentation fault')):
(or whatever segfault may be called the actual language) in eqtexsvg.py helps here, as a verrry dirty workaround.
Cheerz, Lars