|  | @@ -3194,11 +3194,13 @@ function random_number_generator {
 | 
	
		
			
			| 3194 | 3194 |        # no hardware random number generator is available
 | 
	
		
			
			| 3195 | 3195 |        # and use the second best option
 | 
	
		
			
			| 3196 | 3196 |        apt-get -y --force-yes install haveged
 | 
	
		
			
			|  | 3197 | +      echo 'random_number_generator' >> $COMPLETION_FILE
 | 
	
		
			
			| 3197 | 3198 |        return
 | 
	
		
			
			| 3198 | 3199 |    fi
 | 
	
		
			
			| 3199 | 3200 |    if [[ $INSTALLED_WITHIN_DOCKER == "yes" ]]; then
 | 
	
		
			
			| 3200 | 3201 |        # it is assumed that docker uses the random number
 | 
	
		
			
			| 3201 | 3202 |        # generator of the host system
 | 
	
		
			
			|  | 3203 | +      echo 'random_number_generator' >> $COMPLETION_FILE
 | 
	
		
			
			| 3202 | 3204 |        return
 | 
	
		
			
			| 3203 | 3205 |    fi
 | 
	
		
			
			| 3204 | 3206 |    if [[ $USE_HWRNG == "yes" ]]; then
 |