diff options
| author | Christophe Romain <chris.romain@gmail.com> | 2015-04-28 17:34:57 +0200 |
|---|---|---|
| committer | Christophe Romain <chris.romain@gmail.com> | 2015-04-28 17:34:57 +0200 |
| commit | 01718a4e42650054df5595420b936864c73b9020 (patch) | |
| tree | aaf58eb8a0d349273a77d5da3f92ffb00499417d | |
| parent | Merge pull request #547 from weiss/fix-account-jid-disco (diff) | |
| parent | ejabberdctl: define mnesia options (diff) | |
Merge pull request #549 from joudinet/master
ejabberdctl: define mnesia options
| -rwxr-xr-x | ejabberdctl.template | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/ejabberdctl.template b/ejabberdctl.template index dca995e99..6c131ace0 100755 --- a/ejabberdctl.template +++ b/ejabberdctl.template @@ -112,6 +112,8 @@ DATETIME=`date "+%Y%m%d-%H%M%S"` ERL_CRASH_DUMP=$LOGS_DIR/erl_crash_$DATETIME.dump ERL_INETRC=$ETC_DIR/inetrc +# define mnesia options +MNESIA_OPTS="-mnesia dir \"\\\"$SPOOL_DIR\\\"\" $MNESIA_OPTIONS" # define erl parameters ERL_OPTIONS=$(echo $ERL_OPTIONS | sed 's/ /\\ /g') ERLANG_OPTS="+K $POLL -smp $SMP +P $ERL_PROCESSES $ERL_OPTIONS" @@ -177,7 +179,7 @@ start() $NAME $ERLANG_NODE \ -noinput -detached \ -pa $EJABBERD_EBIN_PATH \ - -mnesia dir \"\\\"$SPOOL_DIR\\\"\" \ + $MNESIA_OPTS \ $KERNEL_OPTS \ $EJABBERD_OPTS \ -s ejabberd \ @@ -218,7 +220,7 @@ live() $EXEC_CMD "$ERL \ $NAME $ERLANG_NODE \ -pa $EJABBERD_EBIN_PATH \ - -mnesia dir \"\\\"$SPOOL_DIR\\\"\" \ + $MNESIA_OPTS \ $KERNEL_OPTS \ $EJABBERD_OPTS \ -s ejabberd \ |