|
|
|
|
221
|
echo "MEDIAGOBLIN_CODE=$MEDIAGOBLIN_CODE" >> $CONFIGURATION_FILE
|
221
|
echo "MEDIAGOBLIN_CODE=$MEDIAGOBLIN_CODE" >> $CONFIGURATION_FILE
|
222
|
fi
|
222
|
fi
|
223
|
if [ $HWRNG_TYPE ]; then
|
223
|
if [ $HWRNG_TYPE ]; then
|
224
|
- echo "HWRNG=$HWRNG" >> $CONFIGURATION_FILE
|
|
|
|
|
224
|
+ echo "HWRNG_TYPE=$HWRNG_TYPE" >> $CONFIGURATION_FILE
|
225
|
fi
|
225
|
fi
|
226
|
if [ $ENABLE_SOCIAL_KEY_MANAGEMENT ]; then
|
226
|
if [ $ENABLE_SOCIAL_KEY_MANAGEMENT ]; then
|
227
|
echo "ENABLE_SOCIAL_KEY_MANAGEMENT=$ENABLE_SOCIAL_KEY_MANAGEMENT" >> $CONFIGURATION_FILE
|
227
|
echo "ENABLE_SOCIAL_KEY_MANAGEMENT=$ENABLE_SOCIAL_KEY_MANAGEMENT" >> $CONFIGURATION_FILE
|