Llenar un combobox con datos de la base de datos.

[NUCKLEAR]

Buenas noches, en un principio la idea esta bien! Felicidades.
Ahora las correcciones:

Código PHP:

function mimodulo_get_nombre_profesores() { 
  $result = db_query("SELECT name FROM persona WHERE tipo_persona like 'profesor' "); 
  while ($reg = db_fetch_object($result)) { 
    nombre_profesores[] = $reg->name; 
  } 
  return nombre_profesores; 
}
 

Estaba bien como hiciste al principio, armar la query para obtener los datos de views_view

Código PHP:

$result = db_query("SELECT name FROM {views_view}");
 

Podrías usar un foreach para no tener que llamar db_fetch_object ya que de por si db_Query te devuelve un objeto, solo debes recorrerlo.

Código PHP:

foreach ($result  as $result) { 
    $nombre_profesores[] = $result->name; 
  }
 

Eso devolveria un array secuencial '0' => "name_view_1", '2' => "name_view_2" ahora si le quieres poner un valor al indice, por ejemplo como lo que hiciste primero:

$options = array('ops1' => 'Vista1', 'ops2' => 'Vista2', 'ops3' => 'Vista3');

Solo debes pasar el indice al array:

Código PHP:

function mimodulo_get_nombre_profesores() { 
  $result = db_query("SELECT name FROM {views_view}"); 
  $i = 1;
  foreach ($result  as $result) { 
    $nombre_profesores['ops' . $i] = $result->name; 
    $i++;
  } 
  //var_dump($nombre_profesores);
  return $nombre_profesores; 
}
 

Espero haber sido claro. Si no sale postea el error.

Saludos.