Wolfgang Rohdewald a écrit :
> the original bug submitter posted a simple way how to reproduce
> the bug:
> 
> http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=557553#15
> 
> could you please try that on a 64bit distribution?

I was able to reproduce the bug on an amd64 box. Here is a backtrace:

Wserver: uncaught exception: End_of_file
Raised by primitive operation at file "", line 0, characters 0-0
Called from file "some.ml", line 664, characters 14-44
Called from file "some.ml", line 688, characters 7-46
Called from file "request.ml", line 734, characters 17-35
Called from file "request.ml", line 754, characters 12-39
Re-raised at file "request.ml", line 755, characters 38-41
Called from file "gwd.ml", line 1467, characters 23-116
Called from file "gwd.ml", line 1635, characters 12-95
Called from file "wserver.ml", line 338, characters 6-51


Cheers,

-- 
Stéphane




--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to