| Index: mojo/shell/public/interfaces/application.mojom
|
| diff --git a/mojo/shell/public/interfaces/application.mojom b/mojo/shell/public/interfaces/application.mojom
|
| index f0a872441fce21c30c15c9ba13417ab16ebcc46f..efe1e7b9ef09c816b421c4e946bcc7373408b1c6 100644
|
| --- a/mojo/shell/public/interfaces/application.mojom
|
| +++ b/mojo/shell/public/interfaces/application.mojom
|
| @@ -23,7 +23,11 @@ interface Application {
|
| // mappings, resolution, and redirects. And it will not include the
|
| // querystring, since the querystring is not part of an application's
|
| // identity.
|
| - Initialize(Shell shell, string url);
|
| + //
|
| + // The |id| parameter is the identifier of the instance in the
|
| + // ApplicationManager. It can be passed to other shell interfaces that request
|
| + // an instance identifier.
|
| + Initialize(Shell shell, string url, uint32 id);
|
|
|
| // Called when another application (identified by |requestor_url|) attempts to
|
| // open a connection to this application.
|
| @@ -58,6 +62,7 @@ interface Application {
|
| // querystring that was part of the request.
|
| //
|
| AcceptConnection(string requestor_url,
|
| + uint32 requestor_id,
|
| ServiceProvider&? services,
|
| ServiceProvider? exposed_services,
|
| array<string> allowed_interfaces,
|
|
|