[Jenkins]Jenkins

Changes

Summary

  1. Shutdown the WebSocket connection after everything else (commit: 05217a0) (details)
  2. Use executor to shutdown in DefaultShardManager (commit: 280b6ea) (details)
Commit 05217a0c89b976602248642aa6bcd2bdf954f25a by Florian Spieß
Shutdown the WebSocket connection after everything else
 (commit: 05217a0)
The file was modifiedsrc/main/java/net/dv8tion/jda/api/sharding/ShardManager.java (diff)
The file was modifiedsrc/main/java/net/dv8tion/jda/api/JDA.java (diff)
The file was modifiedsrc/main/java/net/dv8tion/jda/internal/JDAImpl.java (diff)
Commit 280b6ead428607004f6d98493dd9454c559f1f70 by Florian Spieß
Use executor to shutdown in DefaultShardManager
 (commit: 280b6ea)
The file was modifiedsrc/main/java/net/dv8tion/jda/api/sharding/ShardManager.java (diff)
The file was modifiedsrc/main/java/net/dv8tion/jda/api/sharding/DefaultShardManager.java (diff)