From 7a89eab56e222cc952b7fe9c10bcb3590b63c950 Mon Sep 17 00:00:00 2001
From: William Petit <wpetit@cadoles.com>
Date: Wed, 22 Mar 2017 11:15:45 +0100
Subject: [PATCH] =?UTF-8?q?Correction=20m=C3=A9canisme=20valuer=20par=20d?=
 =?UTF-8?q?=C3=A9faut=20tamarin=5Fdb=20get?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 lib/buildtools/tamarin_db | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/buildtools/tamarin_db b/lib/buildtools/tamarin_db
index 3446635..b71c60e 100755
--- a/lib/buildtools/tamarin_db
+++ b/lib/buildtools/tamarin_db
@@ -21,7 +21,7 @@ function tamarin_load_project_db {
 
 function tamarin_db_get {
   local opt_name=${KEY_PREFIX}${1}
-  local default_value=${2}
+  local default_value=${@:2}
   touch "${GLOBAL_DB_FILE}"
   source "${GLOBAL_DB_FILE}"
   echo ${!opt_name:-${default_value}}
@@ -29,7 +29,7 @@ function tamarin_db_get {
 
 function tamarin_db_set {
   local opt_name=${1}
-  local opt_value=${2}
+  local opt_value=${@:2}
   mkdir -p "$(dirname ${GLOBAL_DB_FILE})"
   touch "${GLOBAL_DB_FILE}"
   sed -i "s/^${KEY_PREFIX}${opt_name}*$//" "${GLOBAL_DB_FILE}"