mirror of
https://github.com/hexedtech/codemp.git
synced 2024-11-22 07:14:50 +01:00
commit
a4ab840211
2 changed files with 1 additions and 2 deletions
1
.github/workflows/java.yml
vendored
1
.github/workflows/java.yml
vendored
|
@ -55,7 +55,6 @@ jobs:
|
||||||
- uses: gradle/actions/setup-gradle@v4
|
- uses: gradle/actions/setup-gradle@v4
|
||||||
with:
|
with:
|
||||||
gradle-version: "8.10"
|
gradle-version: "8.10"
|
||||||
working-directory: dist/java
|
|
||||||
- run: gradle publish
|
- run: gradle publish
|
||||||
working-directory: dist/java
|
working-directory: dist/java
|
||||||
env:
|
env:
|
||||||
|
|
2
dist/java/src/mp/code/Client.java
vendored
2
dist/java/src/mp/code/Client.java
vendored
|
@ -59,7 +59,7 @@ public final class Client {
|
||||||
private static native void create_workspace(long self, String workspaceId) throws ConnectionRemoteException;
|
private static native void create_workspace(long self, String workspaceId) throws ConnectionRemoteException;
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Creates a workspace. You need to call {@link #joinWorkspace(String)} to actually join
|
* Creates a workspace. You need to call {@link #attachWorkspace(String)} to actually join
|
||||||
* and interact with it.
|
* and interact with it.
|
||||||
* @param workspaceId the id of the new workspace
|
* @param workspaceId the id of the new workspace
|
||||||
* @throws ConnectionRemoteException if an error occurs in communicating with the server
|
* @throws ConnectionRemoteException if an error occurs in communicating with the server
|
||||||
|
|
Loading…
Reference in a new issue