rust/hedgewars-server/src/server/database.rs
changeset 15553 ede5f4ec48f3
parent 15539 abd5eb807166
child 15554 f1205f33bf5b
equal deleted inserted replaced
15552:a859f08ebb4f 15553:ede5f4ec48f3
   107     pub fn get_replay_name(&mut self, replay_id: u32) -> Result<Option<String>, Error> {
   107     pub fn get_replay_name(&mut self, replay_id: u32) -> Result<Option<String>, Error> {
   108         if let Some(pool) = &self.pool {
   108         if let Some(pool) = &self.pool {
   109             if let Some(row) =
   109             if let Some(row) =
   110                 pool.first_exec(GET_REPLAY_NAME_QUERY, params! { "id" => replay_id })?
   110                 pool.first_exec(GET_REPLAY_NAME_QUERY, params! { "id" => replay_id })?
   111             {
   111             {
   112                 let filename = from_row_opt::<(String)>(row)?;
   112                 let filename = from_row_opt::<String>(row)?;
   113                 Ok(Some(filename))
   113                 Ok(Some(filename))
   114             } else {
   114             } else {
   115                 Ok(None)
   115                 Ok(None)
   116             }
   116             }
   117         } else {
   117         } else {