| 
				
			 | 
			
			
				@@ -1239,11 +1239,110 @@ function test_domain_name { 
			 | 
		
	
		
			
			| 
				1239
			 | 
			
				1239
			 | 
			
			
				  
			 | 
		
	
		
			
			| 
				1240
			 | 
			
				1240
			 | 
			
			
				 # check that domain names are sensible 
			 | 
		
	
		
			
			| 
				1241
			 | 
			
				1241
			 | 
			
			
				 function check_domains { 
			 | 
		
	
		
			
			| 
				1242
			 | 
			
				
			 | 
			
			
				-  test_domain_name $WIKI_DOMAIN_NAME 
			 | 
		
	
		
			
			| 
				1243
			 | 
			
				
			 | 
			
			
				-  test_domain_name $OWNCLOUD_DOMAIN_NAME 
			 | 
		
	
		
			
			| 
				1244
			 | 
			
				
			 | 
			
			
				-  test_domain_name $FULLBLOG_DOMAIN_NAME 
			 | 
		
	
		
			
			| 
				1245
			 | 
			
				
			 | 
			
			
				-  test_domain_name $MICROBLOG_DOMAIN_NAME 
			 | 
		
	
		
			
			| 
				1246
			 | 
			
				
			 | 
			
			
				-  test_domain_name $REDMATRIX_DOMAIN_NAME 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1242
			 | 
			
			
				+  if [ $WIKI_DOMAIN_NAME ]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1243
			 | 
			
			
				+      test_domain_name "$WIKI_DOMAIN_NAME" 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1244
			 | 
			
			
				+ 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1245
			 | 
			
			
				+      if [[ "$WIKI_DOMAIN_NAME" == "$OWNCLOUD_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1246
			 | 
			
			
				+          echo 'Wiki domain name is the same as Owncloud domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1247
			 | 
			
			
				+          exit 73863 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1248
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1249
			 | 
			
			
				+      if [[ "$WIKI_DOMAIN_NAME" == "$FULLBLOG_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1250
			 | 
			
			
				+          echo 'Wiki domain name is the same as blog domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1251
			 | 
			
			
				+          exit 97326 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1252
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1253
			 | 
			
			
				+      if [[ "$WIKI_DOMAIN_NAME" == "$MICROBLOG_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1254
			 | 
			
			
				+          echo 'Wiki domain name is the same as microblog domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1255
			 | 
			
			
				+          exit 36827 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1256
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1257
			 | 
			
			
				+      if [[ "$WIKI_DOMAIN_NAME" == "$REDMATRIX_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1258
			 | 
			
			
				+          echo 'Wiki domain name is the same as redmatrix domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1259
			 | 
			
			
				+          exit 93637 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1260
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1261
			 | 
			
			
				+  fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1262
			 | 
			
			
				+ 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1263
			 | 
			
			
				+  if [ $OWNCLOUD_DOMAIN_NAME ]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1264
			 | 
			
			
				+      test_domain_name "$OWNCLOUD_DOMAIN_NAME" 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1265
			 | 
			
			
				+ 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1266
			 | 
			
			
				+      if [[ "$OWNCLOUD_DOMAIN_NAME" == "$WIKI_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1267
			 | 
			
			
				+          echo 'Owncloud domain name is the same as wiki domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1268
			 | 
			
			
				+          exit 37994 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1269
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1270
			 | 
			
			
				+      if [[ "$OWNCLOUD_DOMAIN_NAME" == "$FULLBLOG_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1271
			 | 
			
			
				+          echo 'Owncloud domain name is the same as blog domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1272
			 | 
			
			
				+          exit 37936 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1273
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1274
			 | 
			
			
				+      if [[ "$OWNCLOUD_DOMAIN_NAME" == "$MICROBLOG_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1275
			 | 
			
			
				+          echo 'Owncloud domain name is the same as microblog domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1276
			 | 
			
			
				+          exit 36896 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1277
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1278
			 | 
			
			
				+      if [[ "$OWNCLOUD_DOMAIN_NAME" == "$REDMATRIX_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1279
			 | 
			
			
				+          echo 'Owncloud domain name is the same as redmatrix domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1280
			 | 
			
			
				+          exit 79362 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1281
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1282
			 | 
			
			
				+  fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1283
			 | 
			
			
				+ 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1284
			 | 
			
			
				+  if [ $FULLBLOG_DOMAIN_NAME ]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1285
			 | 
			
			
				+      test_domain_name "$FULLBLOG_DOMAIN_NAME" 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1286
			 | 
			
			
				+ 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1287
			 | 
			
			
				+      if [[ "$FULLBLOG_DOMAIN_NAME" == "$WIKI_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1288
			 | 
			
			
				+          echo 'Blog domain name is the same as wiki domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1289
			 | 
			
			
				+          exit 62348 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1290
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1291
			 | 
			
			
				+      if [[ "$FULLBLOG_DOMAIN_NAME" == "$OWNCLOUD_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1292
			 | 
			
			
				+          echo 'Blog domain name is the same as Owncloud domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1293
			 | 
			
			
				+          exit 84682 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1294
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1295
			 | 
			
			
				+      if [[ "$FULLBLOG_DOMAIN_NAME" == "$MICROBLOG_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1296
			 | 
			
			
				+          echo 'Blog domain name is the same as microblog domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1297
			 | 
			
			
				+          exit 38236 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1298
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1299
			 | 
			
			
				+      if [[ "$FULLBLOG_DOMAIN_NAME" == "$REDMATRIX_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1300
			 | 
			
			
				+          echo 'Blog domain name is the same as redmatrix domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1301
			 | 
			
			
				+          exit 36813 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1302
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1303
			 | 
			
			
				+  fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1304
			 | 
			
			
				+ 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1305
			 | 
			
			
				+  if [ $MICROBLOG_DOMAIN_NAME ]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1306
			 | 
			
			
				+      test_domain_name "$MICROBLOG_DOMAIN_NAME" 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1307
			 | 
			
			
				+ 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1308
			 | 
			
			
				+      if [[ "$MICROBLOG_DOMAIN_NAME" == "$WIKI_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1309
			 | 
			
			
				+          echo 'Microblog domain name is the same as wiki domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1310
			 | 
			
			
				+          exit 73924 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1311
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1312
			 | 
			
			
				+      if [[ "$MICROBLOG_DOMAIN_NAME" == "$OWNCLOUD_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1313
			 | 
			
			
				+          echo 'Microblog domain name is the same as Owncloud domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1314
			 | 
			
			
				+          exit 73683 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1315
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1316
			 | 
			
			
				+      if [[ "$MICROBLOG_DOMAIN_NAME" == "$FULLBLOG_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1317
			 | 
			
			
				+          echo 'Microblog domain name is the same as blog domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1318
			 | 
			
			
				+          exit 26832 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1319
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1320
			 | 
			
			
				+      if [[ "$MICROBLOG_DOMAIN_NAME" == "$REDMATRIX_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1321
			 | 
			
			
				+          echo 'Microblog domain name is the same as redmatrix domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1322
			 | 
			
			
				+          exit 36373 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1323
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1324
			 | 
			
			
				+  fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1325
			 | 
			
			
				+ 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1326
			 | 
			
			
				+  if [ $REDMATRIX_DOMAIN_NAME ]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1327
			 | 
			
			
				+      test_domain_name "$REDMATRIX_DOMAIN_NAME" 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1328
			 | 
			
			
				+ 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1329
			 | 
			
			
				+      if [[ "$REDMATRIX_DOMAIN_NAME" == "$WIKI_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1330
			 | 
			
			
				+          echo 'RedMatrix domain name is the same as wiki domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1331
			 | 
			
			
				+          exit 83682 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1332
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1333
			 | 
			
			
				+      if [[ "$REDMATRIX_DOMAIN_NAME" == "$OWNCLOUD_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1334
			 | 
			
			
				+          echo 'RedMatrix domain name is the same as Owncloud domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1335
			 | 
			
			
				+          exit 65192 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1336
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1337
			 | 
			
			
				+      if [[ "$REDMATRIX_DOMAIN_NAME" == "$FULLBLOG_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1338
			 | 
			
			
				+          echo 'RedMatrix domain name is the same as blog domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1339
			 | 
			
			
				+          exit 74817 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1340
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1341
			 | 
			
			
				+      if [[ "$REDMATRIX_DOMAIN_NAME" == "$MICROBLOG_DOMAIN_NAME" ]]; then 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1342
			 | 
			
			
				+          echo 'RedMatrix domain name is the same as microblog domain name. They must be different' 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1343
			 | 
			
			
				+          exit 83683 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1344
			 | 
			
			
				+      fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				1345
			 | 
			
			
				+  fi 
			 | 
		
	
		
			
			| 
				1247
			 | 
			
				1346
			 | 
			
			
				 } 
			 | 
		
	
		
			
			| 
				1248
			 | 
			
				1347
			 | 
			
			
				  
			 | 
		
	
		
			
			| 
				1249
			 | 
			
				1348
			 | 
			
			
				 # Checks whether certificates were generated for the given hostname 
			 |