*** Protokolldatei gestartet
*** Datum: Do. Jul 11 19:57:42 2013

[Donnerstag, 11. Juli 2013] [19:57:42] Betreten Sie haben den Kanal #forth-ev betreten (-bernd@p5DCD60CD.dip0.t-ipconnect.de).
[Donnerstag, 11. Juli 2013] [19:57:49] Modus Kanalmodi: 
[Donnerstag, 11. Juli 2013] [20:00:43] Betreten carsten hat den Kanal betreten (~user@212.255.236.118).
[Donnerstag, 11. Juli 2013] [20:00:49] <carsten> Hallo Bernd
[Donnerstag, 11. Juli 2013] [20:01:24] <BerndPaysan> Hallo Carsten!
[Donnerstag, 11. Juli 2013] [20:04:25] <carsten> es scheint zu schoenes Wetter fuer einen Chat zu sein :)
[Donnerstag, 11. Juli 2013] [20:04:56] <BerndPaysan> Anscheinend.
[Donnerstag, 11. Juli 2013] [20:10:10] <carsten> Hattest Du die Kommentare im Geeklog eigendlich abgeschaltet? Unter meinem Posting von gestern ist wieder Kommentar-Spam
[Donnerstag, 11. Juli 2013] [20:10:29] <BerndPaysan> Man kann die Kommentare nur per Artikel abschalten.
[Donnerstag, 11. Juli 2013] [20:10:31] Betreten mtrute hat den Kanal betreten (~Thunderbi@dslb-094-220-173-011.pools.arcor-ip.net).
[Donnerstag, 11. Juli 2013] [20:10:38] <BerndPaysan> Hallo Matthias!
[Donnerstag, 11. Juli 2013] [20:10:42] <mtrute> Hallo!
[Donnerstag, 11. Juli 2013] [20:10:51] <carsten> Habe ich gerade gelöscht (den Kommentar-Spam)
[Donnerstag, 11. Juli 2013] [20:10:56] <carsten> Hallo Matthias
[Donnerstag, 11. Juli 2013] [20:11:29] <mtrute> Manchmal gibt es schon seltsame Fragen.
[Donnerstag, 11. Juli 2013] [20:12:01] <mtrute> Da will einer eine tolle Idee nicht mal patentieren, wegen Geheimnis und so, und erwägt dann GPL Forth als Grundlage
[Donnerstag, 11. Juli 2013] [20:12:10] <BerndPaysan> Haha
[Donnerstag, 11. Juli 2013] [20:12:30] <BerndPaysan> Naja, wenn er ein GPL Forth als Grundlage nimmt, dann ist patentieren auch keine gute Idee ;-)
[Donnerstag, 11. Juli 2013] [20:12:49] <mtrute> Ich will ja nicht ausschließen, dass ich das alles falsch verstanden habe, aber so wie ich es verstanden habe, finde ich es sehr seltsam...
[Donnerstag, 11. Juli 2013] [20:14:43] <BerndPaysan> @Carsten: Wenn du Kommentarspam löscht, notier' dir die User-ID.
[Donnerstag, 11. Juli 2013] [20:14:48] <BerndPaysan> Den kann man dann sperren.
[Donnerstag, 11. Juli 2013] [20:15:10] <carsten> UserID "OneTwo"
[Donnerstag, 11. Juli 2013] [20:15:28] <carsten> Kann ich auch sperren?
[Donnerstag, 11. Juli 2013] [20:16:15] <carsten> Löschen könnte ich
[Donnerstag, 11. Juli 2013] [20:16:28] <carsten> Sperren geht auch
[Donnerstag, 11. Juli 2013] [20:16:33] <BerndPaysan> Ok.
[Donnerstag, 11. Juli 2013] [20:17:00] <BerndPaysan> Ich hab' den OneTwo jetzt mal 1-2-3 weggemacht.
[Donnerstag, 11. Juli 2013] [20:17:47] <carsten> Danke
[Donnerstag, 11. Juli 2013] [20:18:18] <carsten> ich denke aber eh das die Spammer nicht mit dem gleichen Account wiederkommen, sondern sich einen neuen Account machen
[Donnerstag, 11. Juli 2013] [20:19:04] <carsten> Können wir und die neuen Kommentare per E-Mail zusenden lasssen? Dann kann man schneller reagieren, speziell auf Kommentare bei alten Postings
[Donnerstag, 11. Juli 2013] [20:21:17] <BerndPaysan> Das Geeklog ist in der Hinsicht nicht sonderlich gut konfigurierbar.
[Donnerstag, 11. Juli 2013] [20:22:00] <mtrute> Auch nicht als RSS Feed?
[Donnerstag, 11. Juli 2013] [20:22:30] <BerndPaysan> Feeds gibt's nur für Nachrichten, auch nicht konfigurierbar.
[Donnerstag, 11. Juli 2013] [20:23:20] <BerndPaysan> Der Angreifer hat nur einen fehlgeschlagenen Captcha-Versuch gebraucht, dann war er drin.
[Donnerstag, 11. Juli 2013] [20:23:42] <BerndPaysan> Bild-Captchas dieser Art können als geknackt angesehen werden.
[Donnerstag, 11. Juli 2013] [20:24:29] <BerndPaysan> Das Wiki ist seit der Umstellung auf das JavaScript-Captcha sauber geblieben.
[Donnerstag, 11. Juli 2013] [20:24:59] <BerndPaysan> Es ist wohl doch um einiges aufwendiger, einen korrekten JS-Interpreter in den Bot zu integrieren als das mit den Captchas ;-)
[Donnerstag, 11. Juli 2013] [20:25:16] <BerndPaysan> Dabei könnte man eigentlich direkt einen Browser highjacken, und von dem aus die Spam-Angriffe durchführen.
[Donnerstag, 11. Juli 2013] [20:25:54] <BerndPaysan> Dazu muss man nicht mal die Sandbox verlassen.
[Donnerstag, 11. Juli 2013] [20:29:56] <BerndPaysan> Ich muss mal bei Friedl nachbohren, ob der noch Verbesserungen am Triceps gemacht hat.
[Donnerstag, 11. Juli 2013] [20:30:28] <carsten> Ja, frag mal nach
[Donnerstag, 11. Juli 2013] [20:30:49] <BerndPaysan> Am dringensten sehe ich das Lackieren von Kugeln mit Auto-Lack, der nicht klebt ;-)
[Donnerstag, 11. Juli 2013] [20:31:06] <BerndPaysan> Und dann kommt erst der Servo, der nicht ruckelt.
[Donnerstag, 11. Juli 2013] [20:32:35] <BerndPaysan> Und ganz am Schluss die leichteren Stäbe.
[Donnerstag, 11. Juli 2013] [20:32:41] <mtrute> Appropos Servo: Wie fein sollten die Pulsbreiten bei der Ansteuerung eigentlich so sein? Ich meine verstanden zu haben, das die Dinger alles zwischen 0 und 2 ms als Lageinformation ansehen, aber mit welcher Genauigkeit?
[Donnerstag, 11. Juli 2013] [20:33:00] <mtrute> Reichen da 0,1ms? 
[Donnerstag, 11. Juli 2013] [20:33:10] <BerndPaysan> 0,1ms wären 20 Schritte.
[Donnerstag, 11. Juli 2013] [20:33:12] <BerndPaysan> Das reicht nicht.
[Donnerstag, 11. Juli 2013] [20:33:48] <BerndPaysan> Die, die ich hier habe, haben eine Hysterese von ein paar mm (bei 20cm Armlänge).
[Donnerstag, 11. Juli 2013] [20:33:50] <carsten> ich muss mal grad weg zum Abendessen ... bis später
[Donnerstag, 11. Juli 2013] [20:33:56] <BerndPaysan> Bis gleich!
[Donnerstag, 11. Juli 2013] [20:33:59] <mtrute> mahlzeit
[Donnerstag, 11. Juli 2013] [20:34:40] <mtrute> also eher 100 Schritte.
[Donnerstag, 11. Juli 2013] [20:34:44] <BerndPaysan> Ich mach' mit meinem b16 die PWM auf 20ns genau...
[Donnerstag, 11. Juli 2013] [20:34:56] <BerndPaysan> Das schaffen die natürlich überhaupt nicht.
[Donnerstag, 11. Juli 2013] [20:34:59] <mtrute> oops.
[Donnerstag, 11. Juli 2013] [20:35:13] <BerndPaysan> Also, denen ist es völlig wurst, wie sanft ich die PWM verändere.
[Donnerstag, 11. Juli 2013] [20:35:29] <BerndPaysan> Da gibt's eine starre Hysterese, und erst, wenn die überschritten ist, bewegt sich das Ding.
[Donnerstag, 11. Juli 2013] [20:36:06] <mtrute> Ok, hat mir schon mal geholfen. Danke
[Donnerstag, 11. Juli 2013] [20:36:13] <BerndPaysan> Mein Programm rechnet im Moment intern mit mm, wenn ich einen genaueren Servo bekomme, könnte ich auch mit 0.1mm rechnen.
[Donnerstag, 11. Juli 2013] [20:36:45] <mtrute> Ich hab nur mal neulich einen kleinen Servo zum spielen beim Conrad gekauft und wollte mal sehen, was man damit so alles anstellen kann.
[Donnerstag, 11. Juli 2013] [20:38:02] <BerndPaysan> Hat der AVR eine PWM-Engine, oder machst du das mit Timer?
[Donnerstag, 11. Juli 2013] [20:38:23] <mtrute> Der hat PWM Modules, aber ich habe erst mal in Software gestartet
[Donnerstag, 11. Juli 2013] [20:39:16] <mtrute> Da ich ein Primitiv für 1ms habe, habe ich damit natürlich erst mal angefangen. Naja, mäßiger Effekt
[Donnerstag, 11. Juli 2013] [20:39:22] <BerndPaysan> Auf dem b16 gibt es einen Timer, der Rest ist Software.
[Donnerstag, 11. Juli 2013] [20:39:35] <BerndPaysan> Der Timer zählt natürlich Takte (50MHz)
[Donnerstag, 11. Juli 2013] [20:40:00] <mtrute> Die Chips haben alle möglichen PWM Modi, damit habe ich mich aber noch nicht allzu sehr auseinandergesetzt.
[Donnerstag, 11. Juli 2013] [20:40:57] <mtrute> Die machen das sogar autonom, da muss man in Software nur ein bissel einstellen. 
[Donnerstag, 11. Juli 2013] [20:41:09] <BerndPaysan> Ja, Ewald Rieger hat das auch für den b16 vorgeschlagen.
[Donnerstag, 11. Juli 2013] [20:41:16] <BerndPaysan> Es ging dann aber auch in Software perfekt.
[Donnerstag, 11. Juli 2013] [20:41:20] <BerndPaysan> Weshalb ich mir das Verilog gespart habe.
[Donnerstag, 11. Juli 2013] [20:42:34] <mtrute> Nunja, amforth hats nicht so mit den hohen Frequenzen ;)
[Donnerstag, 11. Juli 2013] [20:43:20] <mtrute> Ist eher gemütlich und sehr traditionell.
[Donnerstag, 11. Juli 2013] [20:43:26] <BerndPaysan> Ja.
[Donnerstag, 11. Juli 2013] [20:44:08] <mtrute> Wobei ich aber durchaus überlege, die Konstantenfaltung von MatthiasK zu übernehmen
[Donnerstag, 11. Juli 2013] [20:44:27] <mtrute> Ich weiss nur noch nicht, ob ich das im Controller selbst oder in der PC basierten Shell mache
[Donnerstag, 11. Juli 2013] [20:45:08] <mtrute> Sozusagen ein klein wenig teathern
[Donnerstag, 11. Juli 2013] [20:45:45] <BerndPaysan> Constant Folding bringt erheblich mehr, wenn man auch Inlining macht.
[Donnerstag, 11. Juli 2013] [20:47:37] <mtrute> Also de-faktorisieren und dann sehen, was alles zusammenkommt?
[Donnerstag, 11. Juli 2013] [20:48:26] <BerndPaysan> Ja, so ungefähr.
[Donnerstag, 11. Juli 2013] [20:48:56] <BerndPaysan> Z.B.: Du hast ein Wort, das drei Werte aus einer Struktur manipuliert.
[Donnerstag, 11. Juli 2013] [20:49:18] <BerndPaysan> z.B. so : x ( addr -- ) >r r@ .a @ r@ .b @ + r> .c ! ;
[Donnerstag, 11. Juli 2013] [20:49:31] <BerndPaysan> Da kann man jetzt mit Constant folding eher wenig machen.
[Donnerstag, 11. Juli 2013] [20:49:50] <BerndPaysan> So, jetzt rufst du aber anderswo "foo x" auf (foo ist eine Adresse).
[Donnerstag, 11. Juli 2013] [20:50:06] <BerndPaysan> Dann ist es foo.a @ foo.b @ + foo.c !.
[Donnerstag, 11. Juli 2013] [20:52:31] <mtrute> Ok, das seh ich ein. Aber ich habe keine Ahnung, wie man sowas in einen Interpreter einbaut. Der muss das R-Geraffel so ziemlich in Nichts auflösen können.
[Donnerstag, 11. Juli 2013] [20:53:29] <BerndPaysan> Die grundsätzliche Vorgehensweise ist, das "symbolisch" auszuführen.
[Donnerstag, 11. Juli 2013] [20:54:02] <mtrute> Damit ist der kleine Interpreter im Controller quasi außen vor...
[Donnerstag, 11. Juli 2013] [20:54:03] <BerndPaysan> Wenn der Wert bekannt ist, dann können wir beim symbolisch ausführen reduzieren.
[Donnerstag, 11. Juli 2013] [20:54:11] <BerndPaysan> Wenn er unbekannt ist, natürlich nicht.
[Donnerstag, 11. Juli 2013] [20:54:28] <carsten> ... zurück
[Donnerstag, 11. Juli 2013] [20:54:47] <mtrute> Fast Food?
[Donnerstag, 11. Juli 2013] [20:55:27] <carsten> Nein, Pilz-Curry
[Donnerstag, 11. Juli 2013] [20:56:23] <BerndPaysan> Ich würde bezweifeln, dass man einen analytischen Compiler im kleinen Controller unterbringt.
[Donnerstag, 11. Juli 2013] [20:57:03] <mtrute> Aber einen Compiler, der aus schön faktorisiertem Code einen unleserlichen aber optimierten Forth code machen kann.
[Donnerstag, 11. Juli 2013] [20:57:13] <mtrute> Der dann natürlich im PC läuft
[Donnerstag, 11. Juli 2013] [20:57:16] <BerndPaysan> Genau.
[Donnerstag, 11. Juli 2013] [20:57:21] <BerndPaysan> Das geht bestimmt.
[Donnerstag, 11. Juli 2013] [20:58:46] <mtrute> Dann muss der ja nur noch geschrieben werden ;) ;)
[Donnerstag, 11. Juli 2013] [21:07:14] <BerndPaysan> Mit so symbolischer Ausführung kann man auch Test-Vektoren generieren.
[Donnerstag, 11. Juli 2013] [21:07:53] <BerndPaysan> Das ist grundsätzlich ein recht mächtiges Werkzeug.
[Donnerstag, 11. Juli 2013] [21:13:46] <BerndPaysan> Für die Haskell-Fraktion kann man mit sowas auch Beweise durchführen.
[Donnerstag, 11. Juli 2013] [21:14:59] <mtrute> Da kann ich nicht mal mit Halbwissen glänzen....
[Donnerstag, 11. Juli 2013] [21:15:38] <BerndPaysan> Sagen wir mal so: Wenn du hinschreibst 4 0 DO <code> LOOP,
[Donnerstag, 11. Juli 2013] [21:15:54] <BerndPaysan> dann ist I in <code> mit dem Interval [0, 3] belegt.
[Donnerstag, 11. Juli 2013] [21:16:49] <BerndPaysan> Damit kannst du z.B. zeigen, dass ein Zugriff auf ein Array mit addr i + c@ innerhalb der Array-Grenzen bleibt.
[Donnerstag, 11. Juli 2013] [21:17:14] <BerndPaysan> Denn addr [0, 3] + gibt [addr, addr+3]
[Donnerstag, 11. Juli 2013] [21:17:56] <mtrute> soweit, so einfach
[Donnerstag, 11. Juli 2013] [21:19:25] <BerndPaysan> Dann brauchst du nur noch eine Constraint, für welchen Range c@ in Bezug auf addr erlaubt ist.
[Donnerstag, 11. Juli 2013] [21:19:39] <BerndPaysan> Und wenn der [addr, addr+3] umfasst, dann ist alles ok.
[Donnerstag, 11. Juli 2013] [21:20:12] <BerndPaysan> 4 buffer: addr kann für den symbolischen Teil genau so etwas anlegen.
[Donnerstag, 11. Juli 2013] [21:20:27] <mtrute> Was ist dann mit Zugriffen auf Adressen, die Seiteneffekte haben? 
[Donnerstag, 11. Juli 2013] [21:21:11] <mtrute> Wenn also nicht einfach nur eine RAM Zelle gelesen wird, sondern aus anderen Bereichen, die nur in den RAM Adressbereich gemappt sind?
[Donnerstag, 11. Juli 2013] [21:21:43] <BerndPaysan> Kann man über "parallele Prozesse" modellieren.
[Donnerstag, 11. Juli 2013] [21:21:49] <BerndPaysan> Also, du hast z.B. einen Timer.
[Donnerstag, 11. Juli 2013] [21:21:58] <BerndPaysan> Dann hast du einen parallelen Prozess, der diesen Timer hochzählt.
[Donnerstag, 11. Juli 2013] [21:22:45] <mtrute> Und das ist in Haskell noch beweisbarer Stoff?
[Donnerstag, 11. Juli 2013] [21:23:24] <BerndPaysan> Ja.
[Donnerstag, 11. Juli 2013] [21:23:31] <mtrute> cool
[Donnerstag, 11. Juli 2013] [21:24:44] <BerndPaysan> Für Informatiker der eher theoretischen Natur ist Haskell das Paradies.
[Donnerstag, 11. Juli 2013] [21:25:01] <BerndPaysan> Bei der Praxis sieht's dann eher nicht so gut aus.
[Donnerstag, 11. Juli 2013] [21:29:01] <BerndPaysan> Aber angucken sollte man sich das auf jeden Fall, ist sehr interessant.
[Donnerstag, 11. Juli 2013] [21:30:06] <mtrute> Ich bin zwar kein Informatiker, aber notiert hab ich mir das erst mal
[Donnerstag, 11. Juli 2013] [21:31:55] <carsten> Oh jeh, ich lese gerade die Diskussion ueber "JonesForth challenge" in c.l.f
[Donnerstag, 11. Juli 2013] [21:32:14] <carsten> genau der Grund warum ich die Idee erst einmal aus c.l.f raushalten wollte
[Donnerstag, 11. Juli 2013] [21:32:22] <BerndPaysan> Haha
[Donnerstag, 11. Juli 2013] [21:32:38] <BerndPaysan> Die Trolle lassen sich aber nicht zensieren ;-)
[Donnerstag, 11. Juli 2013] [21:32:50] <carsten> habe am WE beim LinuxHotel vorbeigeschaut und Termine fuer einen Hackathon fuer Oktober/November abgeholt
[Donnerstag, 11. Juli 2013] [21:33:48] <carsten> mal sehen was Albert schon gemacht hat, ist ja vielleicht brauchbar. Danke Bernd, das Du geholfen hast das meine ursprüngliche Idee nicht ganz untergegangen ist 
[Donnerstag, 11. Juli 2013] [21:34:14] <carsten> ich werde die Termine auf der Mitglieder-Mailingliste vorstellen, zusammen mit der Idee
[Donnerstag, 11. Juli 2013] [21:35:37] <BerndPaysan> Die Frage nach dem "JonesForth mit Meta-Compilation" wäre ja: Wie würden Anfänger reagieren, wenn man z.B. Gforth EC mit den Kommentaren von JonesForth ausstattet?
[Donnerstag, 11. Juli 2013] [21:36:28] <BerndPaysan> Da wäre dann zwar die Magie der Cross-Compilation weiterhin Magie, aber das wäre dann der Vergleich mit dem Assembler-Listing.
[Donnerstag, 11. Juli 2013] [21:36:54] <carsten> ich fände es gut wenn es den Quellcode des Basis-Systems als Assembler-Listing und als Meta-Compile-Source vorliegt, dann kann man das vergleichen
[Donnerstag, 11. Juli 2013] [21:36:57] <carsten> genau!
[Donnerstag, 11. Juli 2013] [21:37:31] <BerndPaysan> Jens hat mal eine Erweiterung zu cross geschrieben, die ein Assembler-Listing produzieren kann.
[Donnerstag, 11. Juli 2013] [21:38:41] <mtrute> Ich habe seinerzeit lange gesucht, bis ich forth code für die Standardworte zusammen hatte. 
[Donnerstag, 11. Juli 2013] [21:38:55] <BerndPaysan> Oh.
[Donnerstag, 11. Juli 2013] [21:39:31] <BerndPaysan> Da ist in Gforth eigentlich alles drin.
[Donnerstag, 11. Juli 2013] [21:39:39] <mtrute> gforth war um längen zu kompliziert für mich.
[Donnerstag, 11. Juli 2013] [21:39:39] <BerndPaysan> Das Problem dürfte sein: Zu gut versteckt ;-)
[Donnerstag, 11. Juli 2013] [21:40:00] <mtrute> Und zu sehr verschachtelt und mit zu vielen Optionen versehen.
[Donnerstag, 11. Juli 2013] [21:40:20] <BerndPaysan> Weshalb ich inzwischen Gforth und Gforth EC von den Sourcen her getrennt habe.
[Donnerstag, 11. Juli 2013] [21:40:37] <BerndPaysan> Weil es zu viele Dinge gibt, die anders sind.
[Donnerstag, 11. Juli 2013] [21:40:39] <mtrute> amforth ist bald 7 Jahre alt
[Donnerstag, 11. Juli 2013] [21:44:26] <mtrute> ich klinke mich dann mal aus. Bis neulich 
[Donnerstag, 11. Juli 2013] [21:44:30] <BerndPaysan> Ciao!
[Donnerstag, 11. Juli 2013] [21:44:35] Beenden mtrute hat den Server verlassen ("").
[Donnerstag, 11. Juli 2013] [21:44:41] <carsten> Ciao
[Donnerstag, 11. Juli 2013] [21:45:30] <BerndPaysan> Ich druck' dann mal die Teilnamebestätigung aus...
[Donnerstag, 11. Juli 2013] [21:46:09] <carsten> in der E-Mail stand das die auch per E-Mail gesendet werden kann (als Scan mit Unterschrift)
[Donnerstag, 11. Juli 2013] [21:46:52] <BerndPaysan> Ok, dann photoshoppe ich meine Unterschrift in das Dokument ;-)
[Donnerstag, 11. Juli 2013] [21:47:14] <BerndPaysan> Wie kommt man eigentlich auf solche Ideen?
[Donnerstag, 11. Juli 2013] [21:47:33] <carsten> welche Ideen? Gimpen?
[Donnerstag, 11. Juli 2013] [21:47:50] <BerndPaysan> Nein, zu glauben, dass eine Unterschrift als Scan irgendwie beweiskräftig sei.
[Donnerstag, 11. Juli 2013] [21:48:10] <carsten> keine Ahnung, aber ein Fax ist ja ähnlich
[Donnerstag, 11. Juli 2013] [21:48:25] <carsten> und Faxe wurden in der Vergangenheit von Gerichten anerkannt
[Donnerstag, 11. Juli 2013] [21:48:31] <carsten> daher kommt das warscheinlich
[Donnerstag, 11. Juli 2013] [21:48:47] <BerndPaysan> Ja, da hat irgendein Richter erklärt, das käme daher, dass das Fax automatisch ausgedruckt wird... m(
[Donnerstag, 11. Juli 2013] [21:48:57] <BerndPaysan> Der muss mal gucken, was mit Faxen bei mir passiert.
[Donnerstag, 11. Juli 2013] [21:49:04] <BerndPaysan> Da wird überhaupt nichts ausgedruckt.
[Donnerstag, 11. Juli 2013] [21:49:22] <BerndPaysan> Der Richter glaubt wahrscheinlich auch, dass einscannen der einzige Weg in die Faxmaschine ist.
[Donnerstag, 11. Juli 2013] [21:50:24] <carsten> :)
[Donnerstag, 11. Juli 2013] [21:50:30] <carsten> #neuland
[Donnerstag, 11. Juli 2013] [21:51:00] <carsten> ich bin immer noch nicht mit dem Thread in c.l.f fertig
[Donnerstag, 11. Juli 2013] [21:51:59] <BerndPaysan> In IRC ist #neuland ein Kanal ;-)
[Donnerstag, 11. Juli 2013] [21:52:15] <BerndPaysan> Wahrscheinlich nach über 20 Jahren IRC ein völlig unbenutzer ;-)
[Donnerstag, 11. Juli 2013] [22:03:02] Beenden carsten hat den Server verlassen (EOF From client).