W: Index.exe v15, -f7, und glob. Ers.

[Bernhard Eversberg]

Kollege Berger:
> 
> merkwuerdig, dass es noch nicht aufgefallen ist:
> 
> INDEX.EXE von Version 15 (24.7.1997 15:04) crasht,
> falls es mit Option -f70 - at 1 aufgerufen wird, und
> die Indexparameter globale Ersetzungen der Form
> _xxx_yyy_
> oder
> *#kk_xxx_yyy_
> enthalten.

Das ist vorige Woche aufgefallen, aber noch nicht geloest.
Vorerst kann man nur so abhelfen, dass das aeltere INDEX eingesetzt oder 
eben auf globale Ersetzungen verzichtet wird - was sich auch aus Gruenden
der Effizienz empfiehlt.

MfG  B.E.


Bernhard Eversberg
Universitaetsbibliothek, Postf. 3329, 
D-38023 Braunschweig, Germany
Tel.  +49 531 391-5026 , -5011 , FAX  -5836
e-mail  B.Eversberg at tu-bs.de