##// END OF EJS Templates
Merge pull request #1218 from andrewgiessel/add-quiet-option-to-prun...
Min RK -
r5820:f96ba444 merge
parent child Browse files
Show More
@@ -1360,6 +1360,8 b' Currently the magic system has the following functions:\\n"""'
1360 is generated by a call to the dump_stats() method of profile
1360 is generated by a call to the dump_stats() method of profile
1361 objects. The profile is still shown on screen.
1361 objects. The profile is still shown on screen.
1362
1362
1363 -q: suppress output to the pager. Best used with -T and/or -D above.
1364
1363 If you want to run complete programs under the profiler's control, use
1365 If you want to run complete programs under the profiler's control, use
1364 '%run -p [prof_opts] filename.py [args to program]' where prof_opts
1366 '%run -p [prof_opts] filename.py [args to program]' where prof_opts
1365 contains profiler specific options as described here.
1367 contains profiler specific options as described here.
@@ -1374,7 +1376,7 b' Currently the magic system has the following functions:\\n"""'
1374 parameter_s = parameter_s.replace('"',r'\"').replace("'",r"\'")
1376 parameter_s = parameter_s.replace('"',r'\"').replace("'",r"\'")
1375
1377
1376 if user_mode: # regular user call
1378 if user_mode: # regular user call
1377 opts,arg_str = self.parse_options(parameter_s,'D:l:rs:T:',
1379 opts,arg_str = self.parse_options(parameter_s,'D:l:rs:T:q',
1378 list_all=1)
1380 list_all=1)
1379 namespace = self.shell.user_ns
1381 namespace = self.shell.user_ns
1380 else: # called to run a program by %run -p
1382 else: # called to run a program by %run -p
@@ -1438,7 +1440,8 b' Currently the magic system has the following functions:\\n"""'
1438 output = stdout_trap.getvalue()
1440 output = stdout_trap.getvalue()
1439 output = output.rstrip()
1441 output = output.rstrip()
1440
1442
1441 page.page(output)
1443 if 'q' not in opts:
1444 page.page(output)
1442 print sys_exit,
1445 print sys_exit,
1443
1446
1444 dump_file = opts.D[0]
1447 dump_file = opts.D[0]
General Comments 0
You need to be logged in to leave comments. Login now