{"push_id":2315635909,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"26cca697cb3e4a30061d0b33aa15364a8b57d489","before":"78ca336d85e2ffb1a1253e708e6ed77540c6518e","commits":[{"sha":"26cca697cb3e4a30061d0b33aa15364a8b57d489","author":{"name":"Sylvain Dailler","email":"d4a4860a20390187cc1afa712690669099b5d1b9@adacore.com"},"message":"R205-027 Changing timeout of gnat_server\n\nThis commit adds a debug flag for gnat_server and patch several timing\nproblems in the server. The timeout for select is now always positive and\nthe maximum delay allowed is 0.2 seconds.\n\n* src/gnat/gnat_config.ml\nAdding debug flag --debug-gnat-server\n\n* src/gnat/gnat_server.ml\n(debug_to_file): print debug info to a file when --debug-gnat-server is\ngiven.\n(main_loop): Changed the definition of timeout so that it is never\nnegative. Add debugging information as calls to debug_to_file.\n\nChange-Id: I34ce7baf8830631f7e25f300cd0fb603e8313428","distinct":true,"url":"https://api.github.com/repos/AdaCore/why3/commits/26cca697cb3e4a30061d0b33aa15364a8b57d489"}]}
{"actor":{"display_login":"adacore-bot"}}