small performance fix (use cache for nav.getCurrentService())
authorAndreas Monzner <andreas.monzner@multimedia-labs.de>
Tue, 15 Aug 2006 15:41:32 +0000 (15:41 +0000)
committerAndreas Monzner <andreas.monzner@multimedia-labs.de>
Tue, 15 Aug 2006 15:41:32 +0000 (15:41 +0000)
commit7471344239d250c6ecadec8ae259ace96687a6ba
tree045227907294f1e6c596072c836c33a32078a7fb
parent3069d1da6697619b0ed6f58f57f52fc5d4d51e03
small performance fix (use cache for nav.getCurrentService())
Navigation.py