Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Server = {
- ServerId : int;
- ServerName : string;
- ServerAddress : string;
- UserName : string option;
- Password : string option;
- }
- FileTransferDefinition = {
- FileTransferDefinitionId : int;
- SourceServerId : int;
- SourceServerAddress : string;
- RelativeSourcePath : string;
- TargetServerId : int;
- TargetServerAddress : string;
- RelativeTargetPath : string;
- IncludeFilter : string;
- ExcludeFilter : string option;
- FileTransferTypeId : int;
- FileTransferTypeName : string;
- }
- FileTransferTypeInternals = {
- FileTransferTypeId : int;
- FileTransferTypeName : string;
- }
- FileTransferType =
- | Move of FileTransferTypeInternals
- | Copy of FileTransferTypeInternals
- move '*.(ts|mpg|mov|mxf)' from '$(source)/path/here' to '$(target)/path/here'
- copy '*.(ts|mpg|mov|mxf)' from '$(source)/path/here' to '$(target)/path/here'
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement