From c734389e90c837b447ff931576742a5cdffc233f Mon Sep 17 00:00:00 2001
From: Evgeny Egorochkin <phreedom.stdin@gmail.com>
Date: Sat, 4 Jun 2011 10:53:07 +0000
Subject: [PATCH] Virtuoso: add parameters section to config

svn path=/nixos/trunk/; revision=27342
---
 modules/services/databases/virtuoso.nix | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/modules/services/databases/virtuoso.nix b/modules/services/databases/virtuoso.nix
index 413c5db53f15..b41bc0f7ad18 100644
--- a/modules/services/databases/virtuoso.nix
+++ b/modules/services/databases/virtuoso.nix
@@ -23,6 +23,11 @@ with pkgs.lib;
         description = "Extra options to put into Virtuoso configuration file.";
       };
 
+      parameters = mkOption {
+        default = "";
+        description = "Extra options to put into [Parameters] section of Virtuoso configuration file.";
+      };
+
       listenAddress = mkOption {
 	default = "1111";
 	example = "myserver:1323";
@@ -82,6 +87,7 @@ with pkgs.lib;
       ServerPort=${cfg.listenAddress}
       RunAs=${virtuosoUser}
       ${optionalString (cfg.dirsAllowed != null) "DirsAllowed=${cfg.dirsAllowed}"}
+      ${cfg.parameters}
 
       [HTTPServer]
       ${optionalString (cfg.httpListenAddress != null) "ServerPort=${cfg.httpListenAddress}"}