In the frontend, do not pause in cmd if -batch is specified.
In the frontend, do not pause in cmd if -batch is specified.

SVN-Revision: 1768

LohithBlaze/drmemory,code4bones/drmemory,sigma-random/drmemory,LohithBlaze/drmemory,sigma-random/drmemory,sigma-random/drmemory,sigma-random/drmemory,code4bones/drmemory,LohithBlaze/drmemory,sigma-random/drmemory,code4bones/drmemory,code4bones/drmemory,code4bones/drmemory,LohithBlaze/drmemory,LohithBlaze/drmemory