<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
<title></title>
</head>
<body text="#000000" bgcolor="#ffffff">
Am 20.04.2011 16:17, schrieb Sibylle Koczian:<br>
<span style="white-space: pre;">> <br>
> Zusatzfrage: wenn der Satz, der geändert werden soll, mit
"f1nd"<br>
> gesucht und geladen wird - dann brauche ich "set lock" und
"put<br>
> unlock", oder nicht? Denn "get edit" setzt entweder eine<br>
> Ergebnismenge voraus oder die interne Satznummer - und würde
den Satz<br>
> noch einmal laden, den f1nd schon geladen hat.<br>
> <br>
> Richtig oder falsch?<br>
> </span><br>
Das ist richtig. "set lock" sperrt nicht nur den Satz, sondern
rechnet<br>
auch die Schlüssel aus, d.h. den Zustand VOR Veränderung.<br>
Wenn dann "put" kommt, wird dieser alte Zustand mit dem dann
aktuellen<br>
Zustand, also NACH Veränderung, verglichen, und nur so kann das<br>
Programm feststellen, welche Schlüssel des VOR-Zustands nicht mehr<br>
gültig sind und beseitigt werden müssen. (a99 macht das ein wenig<br>
anders: Im Moment von "put" wird der dann aktuelle Zustand aus der<br>
Datenbank herangeholt, also der i.d.R. noch unveränderte Satz
nochmals<br>
geladen, um ihn dann mit dem veränderten zu vergleichen. Zuerst wird<br>
dann aber geprüft, ob sich der Zeitstempel geändert hat.)<br>
<br>
Wir haben den Quellcode nochmal gesichtet und ein paar Dinge
bearbeitet,<br>
vor allem hinsichtlich Dokumentation. Aber es wird besser sein, sich
die<br>
aktuelle Version von acon zu besorgen, die wir gerade unter ftp<br>
bereitgestellt haben.<br>
Für Linux und Solaris wird nächste Woche eine aktualisierte Version
bereitgestellt.<br>
<br>
(Eine allgemeine Quellcode-Bearbeitung läuft momentan vor allem
wegen der<br>
bevorstehenden OpenSource-Freigabe, um die Übersichtlichkeit zu
verbessern.<br>
Es ergeben sich dabei auch hier und da kleinere interne
Verbesserungen,<br>
aber keine Änderungen am FLEX-Befehlssatz und Funktionsumfang.)<br>
<br>
B.E.<br>
<br>
<br>
</body>
</html>