# HG changeset patch # User Nenue # Date 1470827563 14400 # Node ID 4370eefcecdd8d5b69eb10ab303dc46dba63e37d # Parent bb403e03d82d8bd73eb99ba81d810a2ca41b6c5d - display the correct profile name when it's changed through /dvn save diff -r bb403e03d82d -r 4370eefcecdd Devian.lua --- a/Devian.lua Wed Aug 10 07:10:55 2016 -0400 +++ b/Devian.lua Wed Aug 10 07:12:43 2016 -0400 @@ -318,6 +318,8 @@ end db.profiles[list_id].name = dest db.profilesName[dest] = list_id + + name = dest end end