[pypy-commit] pypy reverse-debugger: Rename the env var REVDB

[arigo]

Author: Armin Rigo <arigo at tunes.org>
Branch: reverse-debugger
Changeset: r86971:4909c06daf41
Date: 2016-09-09 11:03 +0200
http://bitbucket.org/pypy/pypy/changeset/4909c06daf41/

Log:	Rename the env var REVDB

diff --git a/pypy/module/__pypy__/interp_magic.py b/pypy/module/__pypy__/interp_magic.py
--- a/pypy/module/__pypy__/interp_magic.py
+++ b/pypy/module/__pypy__/interp_magic.py
@@ -200,7 +200,7 @@
             skip the caching logic
 
     inside getter methods or properties, to make them usable from
-    watchpoints.  Note that you need to re-run ``PYPYRDB=.. pypy''
+    watchpoints.  Note that you need to re-run ``REVDB=.. pypy''
     after changing the Python code.
     """
     return space.wrap(space._side_effects_ok())
diff --git a/rpython/translator/revdb/src-revdb/revdb.c b/rpython/translator/revdb/src-revdb/revdb.c
--- a/rpython/translator/revdb/src-revdb/revdb.c
+++ b/rpython/translator/revdb/src-revdb/revdb.c
@@ -91,7 +91,7 @@
 
            Potentially buggy to use argv[0] here, but good enough I
            suppose.  For this reason ensure_fixed_address_space() is
-           not called when running manually without any PYPYRDB
+           not called when running manually without any REVDB
            environment variable set.
         */
         execv(argv[0], argv);
@@ -207,7 +207,7 @@
 
 static void setup_record_mode(int argc, char *argv[])
 {
-    char *filename = getenv("PYPYRDB");
+    char *filename = getenv("REVDB");
     rdb_header_t h;
     int i;
 
@@ -216,11 +216,11 @@
     if (filename && *filename) {
         ensure_fixed_address_space(argv);
 
-        putenv("PYPYRDB=");
+        putenv("REVDB=");
         rpy_rev_fileno = open(filename, O_RDWR | O_CLOEXEC |
                               O_CREAT | O_NOCTTY | O_TRUNC, 0600);
         if (rpy_rev_fileno < 0) {
-            fprintf(stderr, "Fatal error: can't create PYPYRDB file '%s'\n",
+            fprintf(stderr, "Fatal error: can't create REVDB file '%s'\n",
                     filename);
             abort();
         }
@@ -250,7 +250,7 @@
     }
     else {
         fprintf(stderr, "PID %d starting, log file disabled "
-                        "(use PYPYRDB=logfile)\n", (int)getpid());
+                        "(use REVDB=logfile)\n", (int)getpid());
     }
 
     rpy_revdb.buf_p = rpy_rev_buffer + sizeof(int16_t);