annotate config/config.php @ 11:0a03c75499e6

bug fixed: sessionId after saving
author Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date Mon, 22 Jun 2015 15:12:58 +0200
parents 2c35af0d78f3
children 7e04cbe8b2a0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
1 <?php
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
2
11
0a03c75499e6 bug fixed: sessionId after saving
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents: 10
diff changeset
3 $at_local = true;
4
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
4
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
5 if (!$at_local) {
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
6 // host at localgazetteers-dev server
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
7 $mysql_database = "Gazetteer";
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
8 $mysql_server = "localhost";
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
9 $mysql_user = "root";
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
10 $mysql_password = "admin";
11
0a03c75499e6 bug fixed: sessionId after saving
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents: 10
diff changeset
11 $server_host = "http://localgazetteers-test.mpiwg-berlin.mpg.de/";
7
3abf39f0eb46 bug fixed: sessionId from LGServices
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents: 5
diff changeset
12 $lgserver_url = $server_host."LGServices/";
4
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
13
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
14 } else {
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
15 // localhost
7
3abf39f0eb46 bug fixed: sessionId from LGServices
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents: 5
diff changeset
16 $mysql_database = "Gazetteer";
4
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
17 $mysql_server = "localhost";
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
18 $mysql_user = "root";
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
19 $mysql_password = "root";
5
26ed9d1d6957 New: get user name from LGService by sessionId
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents: 4
diff changeset
20 $server_host = "http://localhost:1080/localgazetteers-dev/";
7
3abf39f0eb46 bug fixed: sessionId from LGServices
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents: 5
diff changeset
21 //$lgserver_url = "http://localgazetteers-dev/LGServer/";
3abf39f0eb46 bug fixed: sessionId from LGServices
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents: 5
diff changeset
22 $lgserver_url = "http://localhost:8080/LGServices/";
4
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
23 }
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
24
5
26ed9d1d6957 New: get user name from LGService by sessionId
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents: 4
diff changeset
25 $systemNAME = "interface";
26ed9d1d6957 New: get user name from LGService by sessionId
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents: 4
diff changeset
26 $system_root_url = $server_host."LGToc/";
26ed9d1d6957 New: get user name from LGService by sessionId
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents: 4
diff changeset
27
4
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
28 ?>