diff options
Diffstat (limited to 'librpc/idl/server_id.idl')
-rw-r--r-- | librpc/idl/server_id.idl | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/librpc/idl/server_id.idl b/librpc/idl/server_id.idl new file mode 100644 index 0000000000..51900000ed --- /dev/null +++ b/librpc/idl/server_id.idl @@ -0,0 +1,26 @@ +[ + pointer_default(unique) +] +interface server_id +{ + + /* used to look like the following, note that unique_id was not + * marshalled at all... + + struct server_id { + pid_t pid; + #ifdef CLUSTER_SUPPORT + uint32 vnn; + #endif + uint64_t unique_id; + }; + + */ + + typedef [public] struct { + hyper pid; + uint32 task_id; + uint32 vnn; + udlong unique_id; + } server_id; +} |