function devel_switch_user_form_submit

Submit handler for the Switch user form.

File

./devel.module, line 1059

Code

function devel_switch_user_form_submit($form, &$form_state) {
  $path = 'devel/switch/' . $form_state['values']['username'];
  $form_state['redirect'] = array(
    $path,
    array(
      'query' => array(
        'destination' => '',
        'token' => drupal_get_token($path),
      ),
    ),
  );
}