| 
				
			 | 
			
			
				@@ -158,7 +158,7 @@ function save_configuration_file { 
			 | 
		
	
		
			
			| 
				158
			 | 
			
				158
			 | 
			
			
				   echo "DEFAULT_DOMAIN_NAME=$DEFAULT_DOMAIN_NAME" >> $CONFIGURATION_FILE 
			 | 
		
	
		
			
			| 
				159
			 | 
			
				159
			 | 
			
			
				   if [ $DEFAULT_DOMAIN_CODE ]; then 
			 | 
		
	
		
			
			| 
				160
			 | 
			
				160
			 | 
			
			
				       echo "DEFAULT_DOMAIN_CODE=$DEFAULT_DOMAIN_CODE" >> $CONFIGURATION_FILE 
			 | 
		
	
		
			
			| 
				161
			 | 
			
				
			 | 
			
			
				-1 fi 
			 | 
		
	
		
			
			| 
				
			 | 
			
				161
			 | 
			
			
				+  fi 
			 | 
		
	
		
			
			| 
				162
			 | 
			
				162
			 | 
			
			
				   echo "SYSTEM_TYPE=$SYSTEM_TYPE" >> $CONFIGURATION_FILE 
			 | 
		
	
		
			
			| 
				163
			 | 
			
				163
			 | 
			
			
				   echo "INSTALLING_ON_BBB=$INSTALLING_ON_BBB" >> $CONFIGURATION_FILE 
			 | 
		
	
		
			
			| 
				164
			 | 
			
				164
			 | 
			
			
				   echo "USB_DRIVE=$USB_DRIVE" >> $CONFIGURATION_FILE 
			 |