Am 20.09.2005 um 13:44 schrieb Georg Holzmann: > Hallo! > >> sounds like a memory leak, no ? > yes, but I didn't find it ... :( > > besides that: what is the "standard" tool on linux to search for > memory-leaks ? > http://valgrind.org ?