Parcourir la source

Merge pull request #2428 from galdor/master

fix logger reset for the shell plugin
pull/2431/head
Fred Hebert il y a 4 ans
committed by GitHub
Parent
révision
19308ee218
Aucune clé connue n'a été trouvée dans la base pour cette signature ID de la clé GPG: 4AEE18F83AFDEB23
1 fichiers modifiés avec 2 ajouts et 2 suppressions
  1. +2
    -2
      src/rebar_prv_shell.erl

+ 2
- 2
src/rebar_prv_shell.erl Voir le fichier

@ -171,8 +171,8 @@ maybe_remove_logger() ->
maybe_reset_logger(ignore) ->
ok;
maybe_reset_logger({restart, #{module := Mod, config := Cfg}}) ->
logger:add_handler(default, Mod, Cfg).
maybe_reset_logger({restart, Config = #{module := Mod}}) ->
logger:add_handler(default, Mod, Config).
kill_old_user() ->
OldUser = whereis(user),

Chargement…
Annuler
Enregistrer