Re: [help-GIFT] Different GIFT log files for different ports?

[Wolfgang Müller]

Hi,

> This is more of a feature wish than a request for help. I'm also
> interested in hearing what you think of the idea.

> I think it would be useful if there were separate log files for servers
> running on different ports, i.e. gift-log-<port>.mrml, where <port> is
> the number of the port on which a given server is running.

> One reason for this is that I think it would make sense to use separate
> ports for every-day operation and for benchmarking/evaluation. Also, if
> one is using log files for learning, then one does not want them to
> contain a lot of queries which are the results of automated relevance
> feedback, etc.

Yes, this is a good idea. I have not run into the problem yet, as I tend to do 
testing using diverse GIFT_HOMEs, so each GIFT_HOME has its log.

As usual there is a quick hack and a slower one ;-) . I trust you to find your 
way in the code. 

Cheers,
Wolfgang

-- 
Dr. Wolfgang Müller
LS AI 1
Universität Bayreuth