publish_js_to_p2j_param_fix_20170301a.patch
| src/com/goldencode/p2j/ui/LogicalTerminal.java 2017-03-02 02:55:34 +0000 | ||
|---|---|---|
| 14625 | 14625 |
* parameters. When <code>null</code>, it means that no parameters were specified for |
| 14626 | 14626 |
* this call. |
| 14627 | 14627 |
*/ |
| 14628 |
public static void publishExternal(String event, long publisher, String[] args)
|
|
| 14628 |
public static void publishExternal(String event, long publisher, Object[] args)
|
|
| 14629 | 14629 |
{
|
| 14630 | 14630 |
handle hpublisher = handle.fromResourceId(publisher); |
| 14631 | 14631 | |
| src/com/goldencode/p2j/ui/ServerExports.java 2017-03-02 02:57:41 +0000 | ||
|---|---|---|
| 568 | 568 |
* parameters. When <code>null</code>, it means that no parameters were specified for |
| 569 | 569 |
* this call. |
| 570 | 570 |
*/ |
| 571 |
public void publishExternal(String event, long publisher, String[] args);
|
|
| 571 |
public void publishExternal(String event, long publisher, Object[] args);
|
|
| 572 | 572 |
} |
| src/com/goldencode/p2j/ui/client/gui/driver/web/GuiWebSocket.java 2017-03-02 00:27:00 +0000 | ||
|---|---|---|
| 2249 | 2249 |
// read arg num |
| 2250 | 2250 |
int argNum = message[offset]; |
| 2251 | 2251 |
offset = offset + 1; |
| 2252 |
String[] args = new String[argNum];
|
|
| 2252 |
Object[] args = new Object[argNum];
|
|
| 2253 | 2253 |
for (int i = 0; i < argNum; i++) |
| 2254 | 2254 |
{
|
| 2255 | 2255 |
// read arg |
| src/com/goldencode/p2j/util/NamedEventManager.java 2017-03-02 02:55:43 +0000 | ||
|---|---|---|
| 579 | 579 |
* parameters. When <code>null</code>, it means that no parameters were specified for |
| 580 | 580 |
* this call. |
| 581 | 581 |
*/ |
| 582 |
public static void publishExternal(String event, handle publisher, String[] args)
|
|
| 582 |
public static void publishExternal(String event, handle publisher, Object[] args)
|
|
| 583 | 583 |
{
|
| 584 | 584 |
ProcedureManager.publishExternal(event, publisher, args); |
| 585 | 585 |
} |
| src/com/goldencode/p2j/util/ProcedureManager.java 2017-03-02 02:55:55 +0000 | ||
|---|---|---|
| 1272 | 1272 |
* parameters. When <code>null</code>, it means that no parameters were specified for |
| 1273 | 1273 |
* this call. |
| 1274 | 1274 |
*/ |
| 1275 |
static void publishExternal(String event, handle publisher, String[] args)
|
|
| 1275 |
static void publishExternal(String event, handle publisher, Object[] args)
|
|
| 1276 | 1276 |
{
|
| 1277 | 1277 |
publish(new character(event), publisher, null, args); |
| 1278 | 1278 |
} |