<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Thanks Bob!<br>
<br>
It is a typo in the docs. <br>
<br>
<a class="moz-txt-link-freetext" href="http://erlang.org/doc/man/erlang.html#process_info-2">http://erlang.org/doc/man/erlang.html#process_info-2</a><br>
<br>
<meta charset="utf-8">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;">process_info_item()
= backtrace</span><br style="color: rgb(0, 0, 0); font-family:
Courier, monospace; font-size: medium; font-style: normal;
font-variant: normal; font-weight: bold; letter-spacing: normal;
line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
binary</span><br style="color: rgb(0, 0, 0); font-family: Courier,
monospace; font-size: medium; font-style: normal; font-variant:
normal; font-weight: bold; letter-spacing: normal; line-height:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
catchlevel</span><br style="color: rgb(0, 0, 0); font-family:
Courier, monospace; font-size: medium; font-style: normal;
font-variant: normal; font-weight: bold; letter-spacing: normal;
line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
current_function</span><br style="color: rgb(0, 0, 0);
font-family: Courier, monospace; font-size: medium; font-style:
normal; font-variant: normal; font-weight: bold; letter-spacing:
normal; line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
current_location</span><br style="color: rgb(0, 0, 0);
font-family: Courier, monospace; font-size: medium; font-style:
normal; font-variant: normal; font-weight: bold; letter-spacing:
normal; line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
current_stacktrace</span><br style="color: rgb(0, 0, 0);
font-family: Courier, monospace; font-size: medium; font-style:
normal; font-variant: normal; font-weight: bold; letter-spacing:
normal; line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
dictionary</span><br style="color: rgb(0, 0, 0); font-family:
Courier, monospace; font-size: medium; font-style: normal;
font-variant: normal; font-weight: bold; letter-spacing: normal;
line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
error_handler</span><br style="color: rgb(0, 0, 0); font-family:
Courier, monospace; font-size: medium; font-style: normal;
font-variant: normal; font-weight: bold; letter-spacing: normal;
line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
garbage_collection</span><br style="color: rgb(0, 0, 0);
font-family: Courier, monospace; font-size: medium; font-style:
normal; font-variant: normal; font-weight: bold; letter-spacing:
normal; line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
group_leader</span><br style="color: rgb(0, 0, 0); font-family:
Courier, monospace; font-size: medium; font-style: normal;
font-variant: normal; font-weight: bold; letter-spacing: normal;
line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
heap_size</span><br style="color: rgb(0, 0, 0); font-family:
Courier, monospace; font-size: medium; font-style: normal;
font-variant: normal; font-weight: bold; letter-spacing: normal;
line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
initial_call</span><br style="color: rgb(0, 0, 0); font-family:
Courier, monospace; font-size: medium; font-style: normal;
font-variant: normal; font-weight: bold; letter-spacing: normal;
line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
links</span><br style="color: rgb(0, 0, 0); font-family: Courier,
monospace; font-size: medium; font-style: normal; font-variant:
normal; font-weight: bold; letter-spacing: normal; line-height:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
last_calls</span><br style="color: rgb(0, 0, 0); font-family:
Courier, monospace; font-size: medium; font-style: normal;
font-variant: normal; font-weight: bold; letter-spacing: normal;
line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
memory</span><br style="color: rgb(0, 0, 0); font-family: Courier,
monospace; font-size: medium; font-style: normal; font-variant:
normal; font-weight: bold; letter-spacing: normal; line-height:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
message_que_len</span> <======== TYPO<br style="color:
rgb(0, 0, 0); font-family: Courier, monospace; font-size: medium;
font-style: normal; font-variant: normal; font-weight: bold;
letter-spacing: normal; line-height: normal; orphans: auto;
text-align: start; text-indent: 0px; text-transform: none;
white-space: normal; widows: auto; word-spacing: 0px;
-webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
messages</span><br style="color: rgb(0, 0, 0); font-family:
Courier, monospace; font-size: medium; font-style: normal;
font-variant: normal; font-weight: bold; letter-spacing: normal;
line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
min_heap_size</span><br style="color: rgb(0, 0, 0); font-family:
Courier, monospace; font-size: medium; font-style: normal;
font-variant: normal; font-weight: bold; letter-spacing: normal;
line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
min_bin_vheap_size</span><br style="color: rgb(0, 0, 0);
font-family: Courier, monospace; font-size: medium; font-style:
normal; font-variant: normal; font-weight: bold; letter-spacing:
normal; line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
monitored_by</span><br style="color: rgb(0, 0, 0); font-family:
Courier, monospace; font-size: medium; font-style: normal;
font-variant: normal; font-weight: bold; letter-spacing: normal;
line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
monitors</span><br style="color: rgb(0, 0, 0); font-family:
Courier, monospace; font-size: medium; font-style: normal;
font-variant: normal; font-weight: bold; letter-spacing: normal;
line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
priority</span><br style="color: rgb(0, 0, 0); font-family:
Courier, monospace; font-size: medium; font-style: normal;
font-variant: normal; font-weight: bold; letter-spacing: normal;
line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
reductions</span><br style="color: rgb(0, 0, 0); font-family:
Courier, monospace; font-size: medium; font-style: normal;
font-variant: normal; font-weight: bold; letter-spacing: normal;
line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
registered_name</span><br style="color: rgb(0, 0, 0); font-family:
Courier, monospace; font-size: medium; font-style: normal;
font-variant: normal; font-weight: bold; letter-spacing: normal;
line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
sequential_trace_token</span><br style="color: rgb(0, 0, 0);
font-family: Courier, monospace; font-size: medium; font-style:
normal; font-variant: normal; font-weight: bold; letter-spacing:
normal; line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
stack_size</span><br style="color: rgb(0, 0, 0); font-family:
Courier, monospace; font-size: medium; font-style: normal;
font-variant: normal; font-weight: bold; letter-spacing: normal;
line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
status</span><br style="color: rgb(0, 0, 0); font-family: Courier,
monospace; font-size: medium; font-style: normal; font-variant:
normal; font-weight: bold; letter-spacing: normal; line-height:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
suspending</span><br style="color: rgb(0, 0, 0); font-family:
Courier, monospace; font-size: medium; font-style: normal;
font-variant: normal; font-weight: bold; letter-spacing: normal;
line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
total_heap_size</span><br style="color: rgb(0, 0, 0); font-family:
Courier, monospace; font-size: medium; font-style: normal;
font-variant: normal; font-weight: bold; letter-spacing: normal;
line-height: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
trace</span><br style="color: rgb(0, 0, 0); font-family: Courier,
monospace; font-size: medium; font-style: normal; font-variant:
normal; font-weight: bold; letter-spacing: normal; line-height:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255);">
<span style="color: rgb(0, 0, 0); font-family: Courier, monospace;
font-size: medium; font-style: normal; font-variant: normal;
font-weight: bold; letter-spacing: normal; line-height: normal;
orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255, 255,
255); display: inline !important; float: none;"> |
trap_exit</span><br>
<br>
<br>
Cheers,<br>
B<br>
<br>
<div class="moz-cite-prefix">On 4/22/13 3:38 PM, Bob Ippolito wrote:<br>
</div>
<blockquote
cite="mid:CACwMPm-Za5GAP7sXJKTmUE5gF7joUc1-f=9Fta3quXNrAjnGjQ@mail.gmail.com"
type="cite">Is that a typo in the docs? Should be
message_queue_len. <span></span><br>
<br>
On Monday, April 22, 2013, Bryan Hughes wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div bgcolor="#FFFFFF" text="#000000"> Howdy,<br>
<br>
I am having some weirdness. Running on the latest build of
R16B (erts-5.10.1). Per the documentation (<a
moz-do-not-send="true"
href="http://erlang.org/doc/man/erlang.html#process_info-2"
target="_blank">http://erlang.org/doc/man/erlang.html#process_info-2</a>),<br>
when I call it:<br>
<br>
Info = erlang:process_info(self(), [memory, heap_size,
message_que_len]),<br>
<br>
I get the following error:<br>
<br>
* Reason for termination ==<br>
** {badarg,[{erlang,process_info,<br>
[<0.127.0>,[memory,heap_size,message_que_len]],<br>
[]},<br>
<br>
When I call it without message_que_len, or instead use
messages:<br>
<br>
Info = erlang:process_info(self(), [memory, heap_size,
messages]),<br>
<br>
Life is good. According to the docs, message_que_len is a
valid process_info_item(). Is the documentation wrong, or am
I doing something wrong?<br>
<br>
Note that this also happens in the shell.<br>
<br>
Thanks again!<br>
<br>
Cheers,<br>
Bryan<br>
<br>
<div>-- <br>
<p style="font-size:12px"> Bryan Hughes<br>
<b>Go Factory</b><br>
<a moz-do-not-send="true" href="http://www.go-factory.net"
target="_blank">http://www.go-factory.net</a><br>
<br>
<i>"Art is never finished, only abandoned. - Leonardo da
Vinci"</i><br>
</p>
<p><br>
</p>
</div>
</div>
</blockquote>
</blockquote>
<br>
<div class="moz-signature">
<p><br>
</p>
</div>
</body>
</html>