fix: 'jump' doesn't play the music if paused.

2020-03-14 12:07:41 +08:00
parent ec28902f66
commit 457f1c691f
2 changed files with 8 additions and 2 deletions
--- a/command.py
+++ b/command.py
@ -176,7 +176,10 @@ def cmd_play(bot, user, text, command, parameter):
                # the one you want
                var.playlist.point_to(int(parameter) - 1 - 1)

-                bot.interrupt()
+                if not bot.is_pause:
+                    bot.interrupt()
+                else:
+                    bot.is_pause = False
            else:
                bot.send_msg(constants.strings('invalid_index', index=parameter), text)