(* Options: Date: 2026-10-20 16:00:41 Version: 8.22 Tip: To override a DTO option, remove "//" prefix before updating BaseUrl: https://dumpro-servdesk.eras-online.de //GlobalNamespace: //MakeDataContractsExtensible: False //AddReturnMarker: True //AddDescriptionAsComments: True //AddDataContractAttributes: False //AddIndexesToDataMembers: False //AddGeneratedCodeAttributes: False //AddResponseStatus: False //AddImplicitVersion: //ExportValueTypes: False IncludeTypes: EnableMaintenance.* //ExcludeTypes: //InitializeCollections: True //AddNamespaces: *) namespace Eras2Web.Service.Desktop.Server.ServiceModel.Eras2Client.Config open System open System.Collections open System.Collections.Generic open System.Runtime.Serialization open ServiceStack open ServiceStack.DataAnnotations [] type EnableMaintenanceResponse() = member val ResponseStatus:ResponseStatus = null with get,set [] [] [] type EnableMaintenance() = interface IReturn