mirror of
https://github.com/RPCS3/discord-bot.git
synced 2026-07-19 13:54:44 -04:00
[PR #25] [MERGED] New fixes & log results as embed #145
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/RPCS3/discord-bot/pull/25
Author: @13xforever
Created: 3/9/2018
Status: ✅ Merged
Merged: 3/11/2018
Merged by: @Nicba1010
Base:
master← Head:new_fixes📝 Commits (4)
6cada8eonly query infor for commercial product codes5af2d2eseparate info parsing and result formatting75f575clog analyzer result as embed (disabled)e728e5bdo case insensetive piracy checks📊 Changes
3 files changed (+114 additions, -41 deletions)
View changed files
📝
api/result.py(+13 -10)📝
bot.py(+6 -3)📝
log_analyzer.py(+95 -28)📄 Description
only query info for commercial product codes
separate info parsing and result formatting
use vulkan gpu info if available, else d3d one, and show it after the cpu info
more tweaks to what settings to show
do code format sanitization to prevent injections through modified logs
case insensitive piracy checks
do not execute piracy subcommands in public channels
log parsing result as an embed (don't really like the result, so it's not used in this pr)
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.