home *** CD-ROM | disk | FTP | other *** search
/ PC World Komputer 1999 March / PCWK3A99.iso / Linux / DDD331 / DDD-3_1_.000 / DDD-3_1_ / ddd-3.1.1 / ddd / debugged.C < prev    next >
Encoding:
C/C++ Source or Header  |  1998-11-28  |  1.8 KB  |  67 lines
  1. // $Id: debugged.C,v 1.1 1998/11/28 16:41:37 zeller Exp $ -*- C++ -*-
  2. // Are we being debugged?
  3.  
  4. // Copyright (C) 1998 Technische Universitaet Braunschweig, Germany.
  5. // Written by Andreas Zeller <zeller@ips.cs.tu-bs.de>.
  6. // 
  7. // This file is part of DDD.
  8. // 
  9. // DDD is free software; you can redistribute it and/or
  10. // modify it under the terms of the GNU General Public
  11. // License as published by the Free Software Foundation; either
  12. // version 2 of the License, or (at your option) any later version.
  13. // 
  14. // DDD is distributed in the hope that it will be useful,
  15. // but WITHOUT ANY WARRANTY; without even the implied warranty of
  16. // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  17. // See the GNU General Public License for more details.
  18. // 
  19. // You should have received a copy of the GNU General Public
  20. // License along with DDD -- see the file COPYING.
  21. // If not, write to the Free Software Foundation, Inc.,
  22. // 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  23. // 
  24. // DDD is the data display debugger.
  25. // For details, see the DDD World-Wide-Web page, 
  26. // `http://www.cs.tu-bs.de/softech/ddd/',
  27. // or send a mail to the DDD developers <ddd@ips.cs.tu-bs.de>.
  28.  
  29. char debugged_rcsid[] = 
  30.     "$Id: debugged.C,v 1.1 1998/11/28 16:41:37 zeller Exp $";
  31.  
  32. #ifdef __GNUG__
  33. #pragma implementation
  34. #endif
  35.  
  36. #include "debugged.h"
  37.  
  38. #include "strclass.h"
  39. #include "string-fun.h"
  40.  
  41. #include <fstream.h>
  42. #include <ctype.h>
  43. #include <unistd.h>        // getppid()
  44.  
  45. static string parent_name()
  46. {
  47.     string cmdline = "/proc/" + itostring(getppid()) + "/cmdline";
  48.  
  49.     ifstream is(cmdline);
  50.     string name;
  51.     int c;
  52.     while ((c = is.get()) != EOF && c != '\0' && !isspace(c))
  53.     {
  54.     name += (char)c;
  55.     if (c == '/')
  56.         name = "";
  57.     }
  58.  
  59.     return name;
  60. }
  61.  
  62. bool being_debugged()
  63. {
  64.     static string name = parent_name();
  65.     return name == "gdb" || name == "dbx" || name == "xdb";
  66. }
  67.