From 587d4ab4668fce09bc2677df121f612e73542fbc Mon Sep 17 00:00:00 2001
From: Trent Steel <trsteel88@gmail.com>
Date: Wed, 12 Sep 2018 22:19:27 +1000
Subject: [PATCH] Fix missing cachetool_args (#192)

* Cannot use --web option

The cachetool has a --web option. However, this cannot be used because --fcgi= is always prefixed in front of the options.

Adding cachetool_args allows you to customise all arguments.

* Set default value
---
 recipe/cachetool.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/recipe/cachetool.php b/recipe/cachetool.php
index 2a58ad3..b16a8ca 100644
--- a/recipe/cachetool.php
+++ b/recipe/cachetool.php
@@ -8,6 +8,7 @@
 namespace Deployer;
 
 set('cachetool', '');
+set('cachetool_args', '');
 set('bin/cachetool', function(){
 	return run("{{bin/php}} -r \"echo version_compare(phpversion(), '7.1') == -1 ? 'cachetool-3.2.1.phar' : 'cachetool.phar';\"");
 });