util.py: Enhance has_recent_change()
server.py: Add initial support to manage servers