[racket] Can raco exe assign a name other than "racket"?

Two hours ago, Matthew Flatt wrote:
> At Mon, 28 Mar 2011 07:28:54 -0600, Matthew Flatt wrote:
> > To change the name shown by `ps', it looks like Racket could call
> > prctl() with PR_SET_NAME --- at least for Linux (2.6.9 and up). I'll
> > look into that more.
> 
> I've pushed that change. Racket sets the process name to match the -N
> argument if supplied, otherwise it sets the name to match argv[0].
> 
> The latter makes `raco exe'-produced executables have the expected
> name, and the former makes `drracket' start a process with the name
> `drracket' (instead of `gracket').

I'm still seeing this from `ps auxw':

  eli      23017 44.0  3.2 451000 130804 pts/5   Rl+  14:48   0:01 /home/eli/src/plt/bin/gracket -N ../../bin/drracket -l- drracket/dr

wasn't that suppose to change?

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!