Miroirs/gdbgui
1
0
Fork 0
mirror of https://github.com/cs01/gdbgui synced 2024-11-16 07:47:46 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

lint fixes (#338)

Browse source
This commit is contained in:
Chad Smith 2020-07-12 17:36:53 -07:00 committed by GitHub
parent d60dc57274
commit cdef290403
4 changed files with 11 additions and 15 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docker/windows/Dockerfile
View file

@ -15,7 +15,7 @@ RUN set -x \
&& apt-key add Release.key \
&& add-apt-repository 'https://dl.winehq.org/wine-builds/ubuntu/' \
&& apt-get update -qy \
&& apt-get install --no-install-recommends -qfy $WINE_VERSION winbind cabextract \
&& apt-get install --allow-unauthenticated --no-install-recommends -qfy $WINE_VERSION winbind cabextract \
&& apt-get clean \
&& wget -nv https://raw.githubusercontent.com/Winetricks/winetricks/master/src/winetricks \
&& chmod +x winetricks \

5
gdbgui/src/js/Registers.jsx
View file

@ -50,10 +50,7 @@ class Registers extends React.Component {
}
static cache_register_names(names) {
// filter out non-empty names
store.set(
"register_names",
names.filter(name => name)
);
store.set("register_names", names.filter(name => name));
}
static clear_register_name_cache() {
store.set("register_names", []);

9
gdbgui/src/js/process_gdb_response.js
View file

@ -160,10 +160,7 @@ const process_gdb_response = function(response_array) {
if ("register-names" in r.payload) {
let names = r.payload["register-names"];
// filter out empty names
store.set(
"register_names",
names.filter(name => name !== "")
);
store.set("register_names", names.filter(name => name !== ""));
}
if ("register-values" in r.payload) {
store.set("previous_register_values", store.get("current_register_values"));
@ -300,7 +297,9 @@ const process_gdb_response = function(response_array) {
if (r.payload["signal-name"] !== "SIGINT") {
Actions.add_console_entries(
`gdbgui noticed a signal was received (${r.payload["signal-meaning"]}, ${r.payload["signal-name"]}).`,
`gdbgui noticed a signal was received (${r.payload["signal-meaning"]}, ${
r.payload["signal-name"]
}).`,
constants.console_entry_type.GDBGUI_OUTPUT
);
Actions.add_console_entries(

2
setup.py
View file

@ -13,7 +13,7 @@ REQUIRED = [
"Flask-SocketIO>=2.9, <3.0", # websocket server
"gevent>=1.2.2, <2.0", # websocket handling
"gevent-websocket>=0.10.1, <0.11", # also websocket
"eventlet>=0.25.0, <0.26". # also websocket
"eventlet>=0.25.0, <0.26", # also websocket
"pygdbmi>=0.9.0.0, <1.0", # parse gdb output
"Pygments>=2.2.0, <3.0", # syntax highlighting
]