Skip to content

Commit

Permalink
Merge pull request #18333 from ttddyy
Browse files Browse the repository at this point in the history
* pr/18333:
  Use ordered TaskExecutorCustomizers

Fixes gh-18333
  • Loading branch information
philwebb committed Sep 29, 2019
2 parents 865a1cd + bccdf04 commit 89e7d5f
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -75,7 +75,7 @@ public TaskExecutorBuilder taskExecutorBuilder() {
builder = builder.allowCoreThreadTimeOut(pool.isAllowCoreThreadTimeout());
builder = builder.keepAlive(pool.getKeepAlive());
builder = builder.threadNamePrefix(this.properties.getThreadNamePrefix());
builder = builder.customizers(this.taskExecutorCustomizers);
builder = builder.customizers(this.taskExecutorCustomizers.orderedStream()::iterator);
builder = builder.taskDecorator(this.taskDecorator.getIfUnique());
return builder;
}
Expand Down

0 comments on commit 89e7d5f

Please sign in to comment.