35 |
// fixed mage.rc |
// fixed mage.rc |
36 |
$magerc = $wwwroot."/share/mage.rc"; |
$magerc = $wwwroot."/share/mage.rc"; |
37 |
|
|
38 |
|
// default socket timeout for ssh conections |
39 |
|
$socket_timeout = 10; |
40 |
|
|
41 |
// ssh public key file |
// ssh public key file |
42 |
$pubkey_file = $home.'/.ssh/id_dsa.pub'; |
$pubkey_file = $home.'/.ssh/id_dsa.pub'; |
43 |
|
|
47 |
// citrix_browser addresses |
// citrix_browser addresses |
48 |
$citrix_browseradrs = '128.20.50.50;128.20.50.66;128.20.50.71;128.20.50.46;128.20.100.31;128.20.100.32;128.20.100.33;128.20.100.34'; |
$citrix_browseradrs = '128.20.50.50;128.20.50.66;128.20.50.71;128.20.50.46;128.20.100.31;128.20.100.32;128.20.100.33;128.20.100.34'; |
49 |
|
|
50 |
|
// citrix default domain name |
51 |
|
$citrix_domain_name = 'DOM_AKA_NT'; |
52 |
|
|
53 |
?> |
?> |