Update server.py (#2556)

Thirteen

2025-06-21 a3d6e48fe10ddecd0c0886a6b9b51a51837c35a7

1
2
3
4
[submodule "doc"]
    path = doc
    url = https://github.com/gflags/gflags.git
    branch = gh-pages