[Commits] [wesnoth/wesnoth] c1841e: Addon Manager: serialize local_only info key

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: c1841e3fe84fcffd896b282b3596a696b5a717b7
      https://github.com/wesnoth/wesnoth/commit/c1841e3fe84fcffd896b282b3596a696b5a717b7
  Author: Charles Dang <exodia339 at gmail.com>
  Date:   2018-02-11 (Sun, 11 Feb 2018)

  Changed paths:
    M src/addon/info.cpp
    M src/gui/dialogs/addon/manager.cpp

  Log Message:
  -----------
  Addon Manager: serialize local_only info key

This fixes an issue that's probably existed since Feb. 2017 (187731cedfd3351f2): after installing
any addon, local publishable addons get considered "Published", instead of "Ready to Publish".
This was because when the addon map was recreated, it did so from the saved config. and the is-local
info was lost, and so the game considered its state ADDON_INSTALLED instead of ADDON_INSTALLED_LOCAL_ONLY.
Keeping is_local= in the addon's config entry means addon_info::local_only is properly set beyond the
initial setup.