I’ve updated the code & the blog with your solution — much better than the filter :) | by Adam Warski | Medium

Thanks! Maybe this would be a good alternative to the logback Filter hack I used — I’ll have to try…

Adam Warski

1 min readNov 29, 2018

--

I’ve updated the code & the blog with your solution — much better than the filter :)

Adam Warski

Written by Adam Warski

Software engineer, Functional Programming and Scala enthusiast, SoftwareMill co-founder

More from Adam Warski

Adam Warski
in
SoftwareMill Tech Blog

Starting with Scala 3 macros: a short tutorial

Writing a simple “debug” macro step-by-step using Scala 3 / Dotty metaprogramming.

9 min readMay 4, 2020

--

Adam Warski
in
SoftwareMill Tech Blog

Cancelling HTTP requests on the JVM

The article discusses the issues with abandoned HTTP calls and offers an overview of how JVM HTTP clients enable their cancellation.

8 min readMar 6

--

Adam Warski
in
SoftwareMill Tech Blog

Will Project Loom obliterate Java Futures?

Project Loom has three main goals: introducing continuations, fibers, and tail-call elimination.

19 min readJan 28, 2020

--

Adam Warski
in
SoftwareMill Tech Blog

Small & fast Docker images using GraalVM’s native-image

How to reduce the size of the docker images and decrease the time it takes the application to run.

7 min readMay 30, 2019

--

See all from Adam Warski

Recommended from Medium

Unbecoming

10 Seconds That Ended My 20 Year Marriage

It’s August in Northern Virginia, hot and humid. I still haven’t showered from my morning trail run. I’m wearing my stay-at-home mom…

4 min readFeb 16, 2022

--

The PyCoach
in
Artificial Corner

You’re Using ChatGPT Wrong! Here’s How to Be Ahead of 99% of ChatGPT Users

Master ChatGPT by learning prompt engineering.

7 min readMar 17

--

Lists

Staff Picks

332 stories87 saves

Stories to Help You Level-Up at Work

19 stories56 saves

Self-Improvement 101

20 stories108 saves

Productivity 101

20 stories120 saves

Aleid ter Weel
in
Better Advice

10 Things To Do In The Evening Instead Of Watching Netflix

Device-free habits to increase your productivity and happiness.

5 min readFeb 15, 2022

--

Jonathan Poletti
in
ʙᴇʟᴏᴠᴇʀ

What cuts did Christianity make to the Bible?

A religion edits its “sacred” text

7 min readMay 24

--

four cartoonish images of a white woman in business wear. i like this image because it looks like 4 different social media profiles.

Zulie Rane
in
The Startup

If You Want to Be a Creator, Delete All (But Two) Social Media Platforms

In October 2022, during the whole Elon Musk debacle, I finally deleted Twitter from my phone. Around the same time, I also logged out of…

8 min readApr 19

--

Alex Mathers

14 things I wish I knew at 25 (now that I’m 38)

I’m writing soon after my 38th birthday. It’s a time to reflect.

4 min readDec 27, 2022

--

See more recommendations

Help
Status
Writers
Blog
Careers
Privacy
Terms
About
Text to speech