Re: [racket-users] web-server/insta restart

2015-06-18 Thread mail . taspat
On Wednesday, June 17, 2015 at 11:26:16 PM UTC+2, Jay McCarthy wrote:
 As far as I know, there's nothing in DrRacket for it to Stop and then
 Start again when you save the file. It's fairly easy to that in Emacs,
 which I do when I'm working on stuff like that (actually, I have it so
 my Start command includes SaveStop.)
 
 If you are expecting the continuations and other saved state to
 update, you should read the FAQ on this:
 http://docs.racket-lang.org/web-server/faq.html?q=faq#%28part._update-servlets%29
 
 Jay
 
 On Wed, Jun 17, 2015 at 10:11 AM,  mail.tas...@gmail.com wrote:
  Hi, how can I make the already run server restart automatically each time I 
  save the file? In scala for example ~run is used to get this benefit.
 
  Thanks in advance
 
  --
  You received this message because you are subscribed to the Google Groups 
  Racket Users group.
  To unsubscribe from this group and stop receiving emails from it, send an 
  email to racket-users+unsubscr...@googlegroups.com.
  For more options, visit https://groups.google.com/d/optout.
 
 Thanks, it was helpful
 
 -- 
 Jay McCarthy
 http://jeapostrophe.github.io
 
Wherefore, be not weary in well-doing,
   for ye are laying the foundation of a great work.
 And out of small things proceedeth that which is great.
   - DC 64:33

-- 
You received this message because you are subscribed to the Google Groups 
Racket Users group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-users] web-server/insta restart

2015-06-18 Thread mail . taspat
Thanks, it was helpful

-- 
You received this message because you are subscribed to the Google Groups 
Racket Users group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


Re: [racket-users] web-server/insta restart

2015-06-17 Thread Jay McCarthy
As far as I know, there's nothing in DrRacket for it to Stop and then
Start again when you save the file. It's fairly easy to that in Emacs,
which I do when I'm working on stuff like that (actually, I have it so
my Start command includes SaveStop.)

If you are expecting the continuations and other saved state to
update, you should read the FAQ on this:
http://docs.racket-lang.org/web-server/faq.html?q=faq#%28part._update-servlets%29

Jay

On Wed, Jun 17, 2015 at 10:11 AM,  mail.tas...@gmail.com wrote:
 Hi, how can I make the already run server restart automatically each time I 
 save the file? In scala for example ~run is used to get this benefit.

 Thanks in advance

 --
 You received this message because you are subscribed to the Google Groups 
 Racket Users group.
 To unsubscribe from this group and stop receiving emails from it, send an 
 email to racket-users+unsubscr...@googlegroups.com.
 For more options, visit https://groups.google.com/d/optout.



-- 
Jay McCarthy
http://jeapostrophe.github.io

   Wherefore, be not weary in well-doing,
  for ye are laying the foundation of a great work.
And out of small things proceedeth that which is great.
  - DC 64:33

-- 
You received this message because you are subscribed to the Google Groups 
Racket Users group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


[racket-users] web-server/insta restart

2015-06-17 Thread mail . taspat
Hi, how can I make the already run server restart automatically each time I 
save the file? In scala for example ~run is used to get this benefit.

Thanks in advance

-- 
You received this message because you are subscribed to the Google Groups 
Racket Users group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.