examples/server: fix a warning