debug.cc (5336:c7e21f4e5a2e) debug.cc (5512:755fcaf7a4cf)
1/*
2 * Copyright (c) 2003-2005 The Regents of The University of Michigan
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;

--- 94 unchanged lines hidden (view full) ---

103}
104
105void
106eventqDump()
107{
108 mainEventQueue.dump();
109}
110
1/*
2 * Copyright (c) 2003-2005 The Regents of The University of Michigan
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;

--- 94 unchanged lines hidden (view full) ---

103}
104
105void
106eventqDump()
107{
108 mainEventQueue.dump();
109}
110
111
112int remote_gdb_base_port = 7000;
113
114int
115getRemoteGDBPort()
116{
117 return remote_gdb_base_port;
118}
119
120// Set remote GDB base port. 0 means disable remote GDB.
121// Callable from python.
122void
123setRemoteGDBPort(int port)
124{
125 remote_gdb_base_port = port;
126}
127