roberto.bazan@inycom.es writes: Do you still have this problem? > hi, > i've installed nntpcache since one year ago and it doesn't give me any > problem never. > but ten days ago, always, when nntpcache is doing: > nntpcache: merging "active" <- news.server.com. > this process never die. > The socket always is open and i've to do a kill -HUP pid for kill it. > > the news.server.com is alive and working. > > i haven't made any change in the configuration files. > > What is the problem? > any suggest? > > -- Stefan Kahrs in [Kah96] discusses the notion of completeness--programs which never go wrong can be type-checked--which complements Milner's notion of soundness--type-checked programs never go wrong [Mil78].
