嵌入式RavenDB-如何在不同端口上运行management studio

它目前在8080上运行，但我需要另一个服务的端口。

也许是这个

var store = new EmbeddableDocumentStore
                        {
                            Configuration =
                                {
                                    Port = 12345,
                                }
                        };