annotate config/config.php @ 16:0bbf7b85d005

bug fixed: update section tables
author Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date Wed, 15 Jul 2015 12:03:22 +0200
parents 3d206aa0c77d
children 2e6bf16b0be3
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
12
7e04cbe8b2a0 add required libraries to server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents: 11
diff changeset
3 $at_local = false;
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";
16
0bbf7b85d005 bug fixed: update section tables
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents: 13
diff changeset
11 $server_host = "http://localgazetteers.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://localhost:8080/LGServices/";
4
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
22 }
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
23
5
26ed9d1d6957 New: get user name from LGService by sessionId
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents: 4
diff changeset
24 $systemNAME = "interface";
26ed9d1d6957 New: get user name from LGService by sessionId
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents: 4
diff changeset
25 $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
26
4
373c8ecad8b4 deploy to development server
Zoe Hong <zhong@mpiwg-berlin.mpg.de>
parents:
diff changeset
27 ?>