Name: dkR10031 Date: 06/13/2003



HttpServGrabber does not merge coverage files received from several
instances of the same applet and does not delete them. This is a bug
because The Jcov User Guide reads:
"Merge is performed if:

    * The basic JCov file is not locked (that is, no other running grabber
is doing merge on this file).
    * The grabber has been run without the -nomerge option."

Only those files from this cluster that are not locked are merged and then
deleted."

To reproduce this bug please follow the next instruction:

 1) Install HttpServGrabber to the CGI-BIN directory using instructions
    from "4.5.2 HTTP Protocol JCov Grabbers" section of the Jcov User
    Guide.
 2) Statically instrument applet with -httpSave option how it is
    described in B.2.1 Static Instrumenter section of the Jcov User Guide.
 3) Execute this applet with appletviewer shipped with JDK.
 4) Check that coverage files in CGI-BIN directory are not merged.


======================================================================