I think I might have hit a bug in racket serve/servlet. The actual blocking point is the pollen get-source. It runs only half way through for certain js files (it detects markup, markdown, and are blocked before null-source/scribble-source/...), and running get-source alone never had the issue.
I am happy with the current status. So if later I get into the problem again, I'll just post in racket users. Thanks for the reply. On Friday, February 9, 2018 at 3:53:29 PM UTC-8, Matthew Butterick wrote: > > > On Feb 9, 2018, at 10:55 AM, Junsong Li <ljs.da...@gmail.com > <javascript:>> wrote: > > I noticed pollen server is using a function called > render-from-source-or-output-path , which is defined here > https://github.com/mbutterick/pollen/blob/5f338b5ecf9bbca7d7a44ca0e721b22a6cf8210a/pollen/render.rkt#L71 > > > > > And once I switch to this function, pollen-rock dashboard can load > normally. This function also loops over all source file types. > > > > Has anyone noticed the performance difference of that two functions > before? > > > `render-from-source-or-output-path` is just a wrapper function around > `render-to-file-if-needed`, so I'm skeptical that performance is at issue. > > As its name implies, `render-from-source-or-output-path` is more lenient > with input: it can take either a source or output path as its starting > input (if it gets an output path, it derives the source path name). > > Whereas `render-to-file-if-needed` can only take a source path. > > So my theory is that you're passing arguments (output paths, I would > suppose) that `render-from-source-or-output-path` can handle, but > `render-to-file-if-needed` cannot (though I'm surprised that there are not > explicit errors popping up.) > > I assume I needed this housekeeping for the project server and it seemed > too idiosyncratic for the public interface, but perhaps it's suitable for > pollen-rock (because it is also a server) > > > -- You received this message because you are subscribed to the Google Groups "Pollen" group. To unsubscribe from this group and stop receiving emails from it, send an email to pollenpub+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
