widelands-dev team mailing list archive

[SirVer <SirVer@xxxxxx>]

Diff comments:

> 
> === modified file 'settings.py'
> --- settings.py	2017-01-21 12:39:23 +0000
> +++ settings.py	2017-02-11 21:31:29 +0000
> @@ -245,7 +232,7 @@
>  ###############################
>  # Sphinx (Search prog) Config #
>  ###############################
> -USE_SPHINX = True
> +USE_SPHINX = False

I did disable sphinx, because I did not configure it in this setup. We could easily add a third container that runs sphinx and always use it.

>  SPHINX_API_VERSION = 0x116
>  
>  ############


-- 
https://code.launchpad.net/~widelands-dev/widelands-website/wlwebsite_docker/+merge/317036
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands-website/wlwebsite_docker into lp:widelands-website.