asarium 72272cb8cf Don't reset mission file name on mission end ...

This was needed by the restart dialog action and got removed since the
Discord changes needed to know if a mission was active or not.

I removed the code which changed the mission file name and replaced it
with some internal handling in the discord code which should now handle
mission restarts better.

This fixes #1815.

2018-07-28 16:12:26 +02:00

..

discord.cpp

Don't reset mission file name on mission end

2018-07-28 16:12:26 +02:00

discord.h

Add discord Rich Presence support

2018-07-15 19:37:24 +02:00