Skip to content

Commit

Permalink
fix: Add timeout value to the log
Browse files Browse the repository at this point in the history
  • Loading branch information
kolipakakondal committed Nov 1, 2023
1 parent 65a9dc2 commit 8754bfa
Showing 1 changed file with 6 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -139,8 +139,13 @@ public String getServerCommandName() {

@Override
public int getServerLaunchTimeoutSeconds() {
return Platform.getPreferencesService().getInt(IDFCorePlugin.PLUGIN_ID, Activator.GDB_SERVER_LAUNCH_TIMEOUT,
int timeout = Platform.getPreferencesService().getInt(IDFCorePlugin.PLUGIN_ID, Activator.GDB_SERVER_LAUNCH_TIMEOUT,
fGdbServerLaunchDefaultTimeout, null);

if (Activator.getInstance().isDebugging()) {
System.out.println("Gdb Server Timeout:" + timeout);
}
return timeout;
}

public String getServerName() {
Expand Down

0 comments on commit 8754bfa

Please sign in to comment.