Augment timeout in devtools

diff --git a/modules/private/websites/tools/tools/default.nix b/modules/private/websites/tools/tools/default.nix
index 02ff224f9a563147485f145c21b277b72fabde85..8ccac08e74fb2e06dd2921b1755f1b9999a2e88a 100644 (file)
--- a/modules/private/websites/tools/tools/default.nix
+++ b/modules/private/websites/tools/tools/default.nix
@@ -80,6 +80,8 @@ in {
       root        = "/var/lib/ftp/devtools.immae.eu";
       extraConfig = [
         ''
+          Timeout 600
+          ProxyTimeout 600
           <Directory "/var/lib/ftp/devtools.immae.eu">
             DirectoryIndex index.php index.htm index.html
             AllowOverride all