diff --git a/HowtoNginx.md b/HowtoNginx.md index b6358eb0..75488f8c 100644 --- a/HowtoNginx.md +++ b/HowtoNginx.md @@ -382,8 +382,8 @@ if ($http_user_agent ~* (DotBot|Cliqzbot|AhrefsBot|SemrushBot)) { Si l'on veut manipuler les headers HTTP, on s'assure d'avoir le paquet `nginx-extras` installé, puis on peut utiliser la directive `more_set_headers`. Exemples : ~~~ -more_set_headers 'Server: ' -more_set_headers 'Server: My Server v42' +more_set_headers 'Server: '; +more_set_headers 'Server: My Server v42'; ~~~ ### PHP-FPM