···

       
116
       
 
       
        };

     

       
117
       
 
       


     

       
118
       
 
       
        passwordFile = mkOption {

     

       
119
       
-
       
          type = types.nullOr types.str;

     

       
120
       
 
       
          default = null;

     

       
121
       
 
       
          description = ''

     

       
122
       
 
       
            The database user's password. 'null' if no password is set.

     
···

       
285
       
 
       
          sed -i "s/^.*'R_DB_PASSWORD'.*$/define('R_DB_PASSWORD', 'restya');/g" "${runDir}/server/php/config.inc.php"

     

       
286
       
 
       
        '' else ''

     

       
287
       
 
       
          sed -i "s/^.*'R_DB_HOST'.*$/define('R_DB_HOST', '${cfg.database.host}');/g" "${runDir}/server/php/config.inc.php"

     

       
288
       
-
       
          sed -i "s/^.*'R_DB_PASSWORD'.*$/define('R_DB_PASSWORD', '$(<${cfg.database.dbPassFile})');/g" "${runDir}/server/php/config.inc.php"

     

       
289
       
 
       
        ''}

     

       
290
       
 
       
        sed -i "s/^.*'R_DB_PORT'.*$/define('R_DB_PORT', '${toString cfg.database.port}');/g" "${runDir}/server/php/config.inc.php"

     

       
291
       
 
       
        sed -i "s/^.*'R_DB_NAME'.*$/define('R_DB_NAME', '${cfg.database.name}');/g" "${runDir}/server/php/config.inc.php"

     

···

       
116
       
 
       
        };

     

       
117
       
 
       


     

       
118
       
 
       
        passwordFile = mkOption {

     

       
119
       
+
       
          type = types.nullOr types.path;

     

       
120
       
 
       
          default = null;

     

       
121
       
 
       
          description = ''

     

       
122
       
 
       
            The database user's password. 'null' if no password is set.

     
···

       
285
       
 
       
          sed -i "s/^.*'R_DB_PASSWORD'.*$/define('R_DB_PASSWORD', 'restya');/g" "${runDir}/server/php/config.inc.php"

     

       
286
       
 
       
        '' else ''

     

       
287
       
 
       
          sed -i "s/^.*'R_DB_HOST'.*$/define('R_DB_HOST', '${cfg.database.host}');/g" "${runDir}/server/php/config.inc.php"

     

       
288
       
+
       
          sed -i "s/^.*'R_DB_PASSWORD'.*$/define('R_DB_PASSWORD', ${if cfg.database.passwordFile == null then "''" else "'file_get_contents(${cfg.database.passwordFile})'"});/g" "${runDir}/server/php/config.inc.php

     

       
289
       
 
       
        ''}

     

       
290
       
 
       
        sed -i "s/^.*'R_DB_PORT'.*$/define('R_DB_PORT', '${toString cfg.database.port}');/g" "${runDir}/server/php/config.inc.php"

     

       
291
       
 
       
        sed -i "s/^.*'R_DB_NAME'.*$/define('R_DB_NAME', '${cfg.database.name}');/g" "${runDir}/server/php/config.inc.php"