SHARE
TWEET

Untitled

a guest Jan 25th, 2016 53 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. Server = {
  2.     ServerId : int;
  3.     ServerName : string;
  4.     ServerAddress : string;
  5.     UserName : string option;
  6.     Password : string option;
  7. }
  8.  
  9. FileTransferDefinition = {
  10.     FileTransferDefinitionId : int;
  11.     SourceServerId : int;
  12.     SourceServerAddress : string;
  13.     RelativeSourcePath : string;
  14.     TargetServerId : int;
  15.     TargetServerAddress : string;
  16.     RelativeTargetPath : string;
  17.     IncludeFilter : string;
  18.     ExcludeFilter : string option;
  19.     FileTransferTypeId : int;
  20.     FileTransferTypeName : string;
  21. }
  22.  
  23. FileTransferTypeInternals = {
  24.     FileTransferTypeId : int;
  25.     FileTransferTypeName : string;
  26. }
  27.  
  28. FileTransferType =
  29.     | Move of FileTransferTypeInternals
  30.     | Copy of FileTransferTypeInternals
  31.  
  32. move '*.(ts|mpg|mov|mxf)' from '$(source)/path/here' to '$(target)/path/here'
  33. copy '*.(ts|mpg|mov|mxf)' from '$(source)/path/here' to '$(target)/path/here'
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top