- if (write_batch) { /* dw */
- create_batch_file_ext();
- write_batch_argvs_file(orig_argc, argc, argv);
- }
-
- if (read_batch) { /* dw */
- set_batch_file_ext(batch_ext);
+ if (write_batch && !am_server) {
+ write_batch_argvs_file(orig_argc, orig_argv);