[Freeciv-Dev] [patch #2434] Easy way to disable timing results from logs

2011-02-01 Thread Marko Lindqvist
Update of patch #2434 (project freeciv): Status: Ready For Test => Done Assigned to:None => cazfi Open/Closed:Open => Closed ___

[Freeciv-Dev] [patch #2434] Easy way to disable timing results from logs

2011-01-31 Thread Marko Lindqvist
Follow-up Comment #3, patch #2434 (project freeciv): - Also adding of timestamps to logline prefix depend on LOG_TIMERS (file #12187) ___ Additional Item Attachment: File name: LogTimers_2434-3.diff Size:6 KB __

[Freeciv-Dev] [patch #2434] Easy way to disable timing results from logs

2011-01-30 Thread Marko Lindqvist
Follow-up Comment #2, patch #2434 (project freeciv): - Removed stuff that was not meant to this patch but was additionally added (file #12178) ___ Additional Item Attachment: File name: LogTimers_2434-2.diff Size:13 KB

[Freeciv-Dev] [patch #2434] Easy way to disable timing results from logs

2011-01-29 Thread Matthias Pfafferodt
Follow-up Comment #1, patch #2434 (project freeciv): Looks good - that about the time stamps in the log file? You would need to change console.c:log_prefix() ... ___ Reply to this item at: _

[Freeciv-Dev] [patch #2434] Easy way to disable timing results from logs

2011-01-28 Thread Marko Lindqvist
URL: Summary: Easy way to disable timing results from logs Project: Freeciv Submitted by: cazfi Submitted on: Sat 29 Jan 2011 02:26:35 AM EET Category: general Priority: 5 - No