changeset 15531 | ede5f4ec48f3 |
parent 15517 | abd5eb807166 |
child 15532 | f1205f33bf5b |
--- a/rust/hedgewars-server/src/server/database.rs Thu Dec 26 21:04:37 2019 +0300 +++ b/rust/hedgewars-server/src/server/database.rs Thu Dec 26 21:55:51 2019 +0300 @@ -109,7 +109,7 @@ if let Some(row) = pool.first_exec(GET_REPLAY_NAME_QUERY, params! { "id" => replay_id })? { - let filename = from_row_opt::<(String)>(row)?; + let filename = from_row_opt::<String>(row)?; Ok(Some(filename)) } else { Ok(None)