Dynamically populating an array?

[Far Cry]

I need to fill an array dynamically with all the data in the users table. Any help will be appreciated, thanks!

[trq]

$a = array();
while ($r = mysql_fetch_assoc($result_from_mysql_query)) {
  $a[] = $r;
}