Removing debugging code.

This commit is contained in:
Robin Sommer 2011-10-26 14:39:07 -07:00
parent eb6313adcb
commit 314e9c41f9
4 changed files with 5 additions and 6 deletions

@ -1 +1 @@
Subproject commit 4d4df8818c184c5ef0ea20466f137e2a7f13de23 Subproject commit 30d59813ada9294867b89b7f335ef52651be683d

@ -1 +1 @@
Subproject commit d2c2828772a17b55f445d7a36bd6657205d113b3 Subproject commit 13c87ac2f4561c77562bfaf8816caad0c2651291

@ -1 +1 @@
Subproject commit e4fef7ed45b185c6805b4a163b274d192d8206d5 Subproject commit a59d4ee1ddc4dcde54cb3e3cedea870314a3b380

View file

@ -30,7 +30,6 @@ global pp_alarms_open: bool = F;
# Returns True if pretty-printed alarm summaries are activated. # Returns True if pretty-printed alarm summaries are activated.
function want_pp() : bool function want_pp() : bool
{ {
return T;
return (pretty_print_alarms && ! reading_traces() return (pretty_print_alarms && ! reading_traces()
&& (mail_dest != "" || mail_dest_pretty_printed != "")); && (mail_dest != "" || mail_dest_pretty_printed != ""));
} }
@ -60,8 +59,8 @@ function pp_send()
write_file(pp_alarms, "\n\n--\n[Automatically generated]\n\n"); write_file(pp_alarms, "\n\n--\n[Automatically generated]\n\n");
close(pp_alarms); close(pp_alarms);
#system(fmt("/bin/cat %s | %s -t -oi && /bin/rm %s", system(fmt("/bin/cat %s | %s -t -oi && /bin/rm %s",
# pp_alarms_name, sendmail, pp_alarms_name)); pp_alarms_name, sendmail, pp_alarms_name));
pp_alarms_open = F; pp_alarms_open = F;
} }