Parent Directory | Revision Log | Patch
revision 1.33 by spiralvoice, Sun Oct 23 23:13:08 2005 UTC | revision 1.34 by spiralvoice, Mon Nov 28 14:31:40 2005 UTC | |
---|---|---|
# | Line 574 let gui_reader (gui: gui_record) t _ = | Line 574 let gui_reader (gui: gui_record) t _ = |
574 | | _ -> | | _ -> |
575 | guis := gui :: !guis; | guis := gui :: !guis; |
576 | gui.gui_auth <- true; | gui.gui_auth <- true; |
577 | gui.gui_conn.conn_user <- find_ui_user user; | |
578 | ||
579 | if not gui.gui_initialized then | if not gui.gui_initialized then |
580 | gui_initialize gui; | gui_initialize gui; |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |