Fix editors.jedit
parent
62568770a9
commit
eaf11d94e3
extra/editors/jedit
|
@ -1,9 +1,10 @@
|
||||||
! Copyright (C) 2004, 2007 Slava Pestov.
|
! Copyright (C) 2004, 2008 Slava Pestov.
|
||||||
! See http://factorcode.org/license.txt for BSD license.
|
! See http://factorcode.org/license.txt for BSD license.
|
||||||
USING: arrays definitions io kernel math
|
USING: arrays definitions io kernel math
|
||||||
namespaces parser prettyprint sequences strings words
|
namespaces parser prettyprint sequences strings words
|
||||||
editors io.files io.sockets io.streams.string io.binary
|
editors io.files io.sockets io.streams.byte-array io.binary
|
||||||
math.parser io.encodings.ascii ;
|
math.parser io.encodings.ascii io.encodings.binary
|
||||||
|
io.encodings.utf8 ;
|
||||||
IN: editors.jedit
|
IN: editors.jedit
|
||||||
|
|
||||||
: jedit-server-info ( -- port auth )
|
: jedit-server-info ( -- port auth )
|
||||||
|
@ -14,17 +15,17 @@ IN: editors.jedit
|
||||||
] with-file-reader ;
|
] with-file-reader ;
|
||||||
|
|
||||||
: make-jedit-request ( files -- code )
|
: make-jedit-request ( files -- code )
|
||||||
[
|
utf8 [
|
||||||
"EditServer.handleClient(false,false,false," write
|
"EditServer.handleClient(false,false,false," write
|
||||||
cwd pprint
|
cwd pprint
|
||||||
"," write
|
"," write
|
||||||
"new String[] {" write
|
"new String[] {" write
|
||||||
[ pprint "," write ] each
|
[ pprint "," write ] each
|
||||||
"null});\n" write
|
"null});\n" write
|
||||||
] with-string-writer ;
|
] with-byte-writer ;
|
||||||
|
|
||||||
: send-jedit-request ( request -- )
|
: send-jedit-request ( request -- )
|
||||||
jedit-server-info swap "localhost" swap <inet> <client> [
|
jedit-server-info "localhost" rot <inet> binary <client> [
|
||||||
4 >be write
|
4 >be write
|
||||||
dup length 2 >be write
|
dup length 2 >be write
|
||||||
write
|
write
|
||||||
|
|
Loading…
Reference in New Issue