phpini/edit_session.cgi

   1 #!/usr/local/bin/perl
   2 # Show options related to session handling
   3
   4 require './phpini-lib.pl';
   5 &ReadParse();
   6 &can_php_config($in{'file'}) || &error($text{'list_ecannot'});
   7 $conf = &get_config($in{'file'});
   8
   9 &ui_print_header("<tt>$in{'file'}</tt>", $text{'session_title'}, "");
  10
  11 print &ui_form_start("save_session.cgi", "post");
  12 print &ui_hidden("file", $in{'file'}),"\n";
  13 print &ui_table_start($text{'session_header'}, "width=100%", 2);
  14
  15 # Session saving handler
  16 print &ui_table_row($text{'session_handler'},
  17         &ui_select("session.save_handler",
  18                    &find_value("session.save_handler", $conf),
  19                    [ [ "files", $text{'session_files'} ],
  20                      [ "mm", $text{'session_mm'} ],
  21                      [ "users", $text{'session_users'} ] ]));
  22
  23 # Where to save session files
  24 print &ui_table_row($text{'session_path'},
  25         &ui_opt_textbox("session.save_path",
  26                         &find_value("session.save_path", $conf),
  27                         60, $text{'default'}." (<tt>/tmp</tt>)"));
  28
  29 # Use cookies for sessions?
  30 print &ui_table_row($text{'session_cookies'},
  31         &onoff_radio("session.use_cookies"));
  32 print &ui_table_row($text{'session_only_cookies'},
  33         &onoff_radio("session.use_only_cookies"));
  34
  35 # Cookie lifetime
  36 $lf = &find_value("session.cookie_lifetime", $conf);
  37 print &ui_table_row($text{'session_life'},
  38         &ui_opt_textbox("session.cookie_lifetime", $lf || undef,
  39                         5, $text{'session_forever'})." ".$text{'db_s'});
  40
  41 # Session lifetime
  42 $lf = &find_value("session.gc_maxlifetime", $conf);
  43 print &ui_table_row($text{'session_maxlife'},
  44         &ui_opt_textbox("session.gc_maxlifetime", $lf || undef,
  45                         5, $text{'session_forever'})." ".$text{'db_s'});
  46
  47 print &ui_table_end();
  48 print &ui_form_end([ [ "save", $text{'save'} ] ]);
  49
  50 &ui_print_footer("list_ini.cgi?file=".&urlize($in{'file'}),
  51                  $text{'list_return'});