Document that queries might throw a MySql.Data.MySqlClient.MySqlException exception.

This commit is contained in:
Achim D. Brucker 2018-07-29 11:41:09 +01:00
parent b8bb1112f2
commit 1c42ff951d
1 changed files with 8 additions and 4 deletions

View File

@ -45,6 +45,8 @@ module ExtensionQueries =
///
/// **Exceptions**
///
/// * `MySql.Data.MySqlClient.MySqlException`
///
let getDownloads (ctx:ExtensionDbType) extid =
query {
for order in ctx.Extensions.Extension do
@ -69,6 +71,8 @@ module ExtensionQueries =
///
/// **Exceptions**
///
/// * `MySql.Data.MySqlClient.MySqlException`
///
let getAllExtIds (ctx:ExtensionDbType) =
query {
for ext in ctx.Extensions.Extension do