From: John G. <jge...@ny...> - 2001-08-22 13:54:07
|
> I'm sending you two files copied from activity.log as sending them to the > list exceeded the 40K size limit on posts. The list moderator can delete > that post. > > (Upon request, I'll send these files to other detectives on the > list as well.) > > Thanks for your help, > > Joe > Well, here's the problem (I've edited the log for clarity): [message] EditServer: connected [debug] EditServer: authenticated successfully [debug] EditServer$1: Script received by edit server: v = new java.util.Vector(8); // here it is: an empty file name v.addElement(""); s = v.size(); args = new String[s]; v.copyInto(args); EditServer.handleClient(true, null, args); jEdit.openFile(jEdit.getFirstView(), args[s - 1]); [debug] EditBus: [source=jEdit (E:\JPackages\), what=LOAD_STARTED,view=null] When you double click, the Windows shell should grab the name of the file and substitute it as %1 in the command line you associated with .txt files in Windows Explorer. That's not happenning. I think %1 gets replaced by a zero-length string and the system sends a pair of double-quotes as a parameter to jedit.exe. That program sends a zero-length string to the launcher's BeanShell script writer, and the rest you already know. The bug seems to be that the Windows shell isn't seeing a zero-length file correctly. There are three regression tests for that: (1) go to a command line and run "jedit.exe [name of zero-length file]" (adding paths as appropriate); (2) take the quotes away from "%1" and double-click a zero-length text file without blank spaces in in its full path; (3) change your "open" verb for .txt files to Windows Notepad and see if you can open a zero-length file (with the file name in the title bar as confirmation). The other bit of relevant information is the version of your Windows shell. Go to C:\WINNT\System32 in Explorer, right-click shell32.dll, select "Properties" and then the "Version" tab and tell us the version number. In the meantime, I'll look around for reports of shell problems with zero-length files. John |