[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-07-26 Thread Luca Falavigna
Fixed in Intrepid with 2:4.0-1ubuntu1. ** Changed in: drscheme (Ubuntu) Status: Confirmed = Fix Released -- /etc/init.d/mzscheme does not start web-server https://bugs.launchpad.net/bugs/190888 You received this bug notification because you are a member of Ubuntu Bugs, which is

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-06-27 Thread Joel Borggrén-Franck
There is already an entry in the debian todo file regarding this issue, but the package is orphaned i Debian, so I don't think it will matter. -- /etc/init.d/mzscheme does not start web-server https://bugs.launchpad.net/bugs/190888 You received this bug notification because you are a member of

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-06-13 Thread Luca Falavigna
Given that, could you open a bug report in Debian to submit your changes? This way, we can be aware of maintainer choices. -- /etc/init.d/mzscheme does not start web-server https://bugs.launchpad.net/bugs/190888 You received this bug notification because you are a member of Ubuntu Bugs, which is

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-04-04 Thread Luca Falavigna
This seems an intrusive change to me, could it be possible to apply a similar patch to the one in comment #4? -- /etc/init.d/mzscheme does not start web-server https://bugs.launchpad.net/bugs/190888 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-04-04 Thread Joel Borggrén-Franck
Yes and no. As far as I can tell there have been substantial changes in PLT's web-server scripts. Few of the original patches (on web-server) from debian apply, and the script to start a web-server has been replaced with an example (or stub) of how you could define and start your own web-server.

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-03-12 Thread Joel Borggrén-Franck
So I made a shot at ripping out the defunct web-server scripts, and broken init-scripts. I did it the brute force way, just removing files from debian/ and editing rules, don't know if there is a better way to do it. It installs, and removes cleanly and afaict actually works. ** Attachment

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-03-12 Thread Joel Borggrén-Franck
** Changed in: drscheme (Ubuntu) Assignee: Joel Borggrén-Franck (jbf) = (unassigned) Status: In Progress = Confirmed -- /etc/init.d/mzscheme does not start web-server https://bugs.launchpad.net/bugs/190888 You received this bug notification because you are a member of Ubuntu Bugs,

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-02-17 Thread Siegfried Gevatter (RainCT)
The target distribution should be hardy, not gutsy (change this in debian/changelog). If you think this is important enough to be fixed in Gutsy too, after getting it into Hardy follow the SRU process (https://wiki.ubuntu.com/StableReleaseUpdates). Also, the syntax for closing an Ubuntu bug is LP:

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-02-17 Thread Joel Borggrén-Franck
Hardy has upgraded to drscheme 372 which does suffer from related problems, but not the exact same ones, so I need to do a new patch. My proposal is to drop the web-server initscript part from the package. I will try to come up with a patch for this vs hardy later during the week. Also note that

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-02-16 Thread Joel Borggrén-Franck
Okey, I gave it a try, and I got a working package. BUT there is another problem regarding the web-server, since it depends on MrEd which is included in the drscheme package. So the debdiff also includes a move of the mred collects to the mzscheme deb which might (quite possibly) be the wrong way

Re: [Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-02-14 Thread Joel Borggrén-Franck
I'll take a shot at this during the weekend. On Wed, Feb 13, 2008 at 12:17 PM, Daniel Holbach [EMAIL PROTECTED] wrote: To get your fix included in Ubuntu, it would help if you tried transforming it into a debdiff (http://wiki.ubuntu.com/PackagingGuide/Recipes/Debdiff) and submit it for

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-02-13 Thread Daniel Holbach
To get your fix included in Ubuntu, it would help if you tried transforming it into a debdiff (http://wiki.ubuntu.com/PackagingGuide/Recipes/Debdiff) and submit it for review (http://wiki.ubuntu.com/SponsorshipProcess). If you prefer somebody else to do that, that's fine - please just indicate if

[Bug 190888] Re: /etc/init.d/mzscheme does not start web-server

2008-02-11 Thread Joel Borggrén-Franck
** Attachment added: Fix http://launchpadlibrarian.net/11862448/patch -- /etc/init.d/mzscheme does not start web-server https://bugs.launchpad.net/bugs/190888 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs