| Index: mojo/edk/system/process_identifier.h
|
| diff --git a/third_party/mojo/src/mojo/edk/system/process_identifier.h b/mojo/edk/system/process_identifier.h
|
| similarity index 94%
|
| copy from third_party/mojo/src/mojo/edk/system/process_identifier.h
|
| copy to mojo/edk/system/process_identifier.h
|
| index 73ed3351b4499649a821604d6421942dbc46a858..91ee9728490e7f7201825bb81596674332a65b0e 100644
|
| --- a/third_party/mojo/src/mojo/edk/system/process_identifier.h
|
| +++ b/mojo/edk/system/process_identifier.h
|
| @@ -8,7 +8,7 @@
|
| #include <stdint.h>
|
|
|
| namespace mojo {
|
| -namespace system {
|
| +namespace edk {
|
|
|
| // Identifiers for processes (note that these are not OS process IDs):
|
| using ProcessIdentifier = uint64_t;
|
| @@ -19,7 +19,7 @@ const ProcessIdentifier kInvalidProcessIdentifier = 0;
|
| // The master process will always have this process identifier.
|
| const ProcessIdentifier kMasterProcessIdentifier = 1;
|
|
|
| -} // namespace system
|
| +} // namespace edk
|
| } // namespace mojo
|
|
|
| #endif // MOJO_EDK_SYSTEM_PROCESS_IDENTIFIER_H_
|
|
|