- From: Michael Kifer <kifer@cs.sunysb.edu>
- Date: Mon, 10 Apr 2000 20:08:40 -0400
- To: www-lib@w3.org
What is the proper way to kill an HTML parser request before it finished? If I call HTRequest_kill then the input stream seems to stay alive and the begin/end element callbacks continue to be called. Thanks, Michael Kifer kifer@cs.sunysb.edu
Received on Monday, 10 April 2000 20:12:20 UTC