@Override public boolean isPaused() { return fallback.isPaused(); }
public synchronized boolean isPaused() { return player.isPaused(); }
/** * When did the currently playing song start? * * @return timestamp in seconds */ public long getCurrentSongStartTime() { if (!player.isPaused()) { return currentSongStartTimeInSeconds; } return currentSongStartTimeInSeconds + (System.currentTimeMillis() / 1000L - pauseStart); }
/** * check if the player can be paused to start with * * @return if its either playing or already paused */ public synchronized boolean canTogglePause() { return player.getPlayingTrack() != null || player.isPaused(); }
/** * toggle paused * * @return true if paused, false otherwise */ public synchronized boolean togglePause() { if (!player.isPaused()) { pauseStart = System.currentTimeMillis() / 1000L; player.setPaused(true); } else { currentSongStartTimeInSeconds += (System.currentTimeMillis() / 1000L) - pauseStart; player.setPaused(false); } return player.isPaused(); }
private String getQueueTitle(AudioHandler ah, String success, int songslength, long total, boolean repeatmode) { StringBuilder sb = new StringBuilder(); if(ah.getPlayer().getPlayingTrack()!=null) { sb.append(ah.getPlayer().isPaused() ? JMusicBot.PAUSE_EMOJI : JMusicBot.PLAY_EMOJI).append(" **") .append(ah.getPlayer().getPlayingTrack().getInfo().title).append("**\n"); } return FormatUtil.filter(sb.append(success).append(" Current Queue | ").append(songslength) .append(" entries | `").append(FormatUtil.formatTime(total)).append("` ") .append(repeatmode ? "| " + REPEAT : "").toString()); } }
public synchronized void startPlaying() { if (!isPlaying()) { if (player.isPaused()) { player.setPaused(false); } else { scheduler.skipTrack(); } Launcher.log("Start playing", "music", "start", "guild-id", guildId); } }
if(handler.getPlayer().getPlayingTrack()!=null && handler.getPlayer().isPaused())
public String getTopicFormat(JDA jda) { if(isMusicPlaying(jda)) { long userid = getRequester(); AudioTrack track = audioPlayer.getPlayingTrack(); String title = track.getInfo().title; if(title==null || title.equals("Unknown Title")) title = track.getInfo().uri; return "**"+title+"** ["+(userid==0 ? "autoplay" : "<@"+userid+">")+"]" + "\n" + (audioPlayer.isPaused() ? JMusicBot.PAUSE_EMOJI : JMusicBot.PLAY_EMOJI) + " " + "[" + FormatUtil.formatTime(track.getDuration()) + "] " + FormatUtil.volumeIcon(audioPlayer.getVolume()); } else return "No music playing " + JMusicBot.STOP_EMOJI + " " + FormatUtil.volumeIcon(audioPlayer.getVolume()); }
@Override public void doCommand(CommandEvent event) { AudioHandler handler = (AudioHandler)event.getGuild().getAudioManager().getSendingHandler(); if(handler.getPlayer().isPaused()) { event.replyWarning("The player is already paused! Use `"+event.getClient().getPrefix()+"play` to unpause!"); return; } handler.getPlayer().setPaused(true); event.replySuccess("Paused **"+handler.getPlayer().getPlayingTrack().getInfo().title+"**. Type `"+event.getClient().getPrefix()+"play` to unpause!"); } }
@Override public void on(Context context) { GuildAudioController musicManager = this.bot.getGuildsManager().get(context.getEvent().getGuild().getIdLong()); if (musicManager == null || musicManager.getPlayer().getPlayingTrack() == null) { context.reply("No music is playing on this guild! To play a song use `{{prefix}}play`"); return; } boolean action = !musicManager.getPlayer().isPaused(); musicManager.getPlayer().setPaused(action); if (action) { context.reply("Paused music playback! Use `{{prefix}}resume` to resume."); } else { context.reply("Resumed music playback!"); } } }
eb.setDescription((audioPlayer.isPaused() ? JMusicBot.PAUSE_EMOJI : JMusicBot.PLAY_EMOJI) + " "+FormatUtil.progressBar(progress) + " `[" + FormatUtil.formatTime(track.getPosition()) + "/" + FormatUtil.formatTime(track.getDuration()) + "]` "